CoRR, September 2014
Marco Chiesa, Ilya Nikolaevskiy, Aurojit Panda, Andrei V. Gurtov, Michael Schapira, Scott Shenker:
Exploring the Limits of Static Failover Routing.
Edith Cohen, Daniel Delling, Thomas Pajor, Renato F. Werneck:
Computing Classic Closeness Centrality, at Scale.
Arwa Alamoudi, Noura Alomar, Rawan Alabdulrahman, Sarah Alkoblan, Wea'am A. Alrashed:
Usability Engineering of Games: A Comparative Analysis of Measuring Excitement Using Sensors, Direct Observations and Self-Reported Data.
Mohd Anuar Mat Isa, Habibah Hashim, Syed Farid Syed Adnan, Jamalul-lail Ab Manan, Ramlan Mahmod:
A Secure TFTP Protocol with Security Proofs.
Mohd Anuar Mat Isa, Habibah Hashim, Jamalul-lail Ab Manan, Syed Farid Syed Adnan, Ramlan Mahmod:
An Experimental Study of Cryptography Capability using Chained Key Exchange Scheme for Embedded Devices.
Amir Zidi, Amna Bouhana, Afef Fekih, Mourad Abed:
Personalization of Itineraries search using Ontology and Rules to Avoid Congestion in Urban Areas.
Mao Yang, Yong Li, Depeng Jin, Lieguang Zeng, Xin Wu, Athanasios V. Vasilakos:
Software-Defined and Virtualized Future Mobile and Wireless Networks: A Survey.
Wei Lu, Shanshan Chen, Keqian Li, Laks V. S. Lakshmanan:
Show Me the Money: Dynamic Recommendations for Revenue Maximization.
Oswin Aichholzer, Ruy Fabila Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr, Birgit Vogtenhuber:
On $k$-Gons and $k$-Holes in Point Sets.
Mehrtash Tafazzoli Harandi, Richard I. Hartley, Brian C. Lovell, Conrad Sanderson:
Sparse Coding on Symmetric Positive Definite Manifolds using Bregman Divergences.
Kaushik Mondal, Arindam Karmakar, Partha Sarathi Mandal:
Designing Path Planning Algorithms for Mobile Anchor towards Range-Free Localization.
Partha Sarathi Roy, Avishek Adhikari:
Multi-Use Multi-Secret Sharing Scheme for General Access Structure.
Steven Weber, Roch Guérin:
Facilitating adoption of network services with externalities via cost subsidization.
Anna Förster, Christoph Sommer, Till Steinbach, Matthias Wählisch:
Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.


Marco Breiling, Derrick Wing Kwan Ng, Christian Rohde, Frank Burkhardt, Robert Schober:
Resource Allocation for Outdoor-to-Indoor Multicarrier Transmission with Shared UE-side Distributed Antenna Systems.


Philippe Mongeon, Vincent Larivière:
Costly Collaborations: The Impact of Scientific Fraud on Co-authors' Careers.
Varun Gupta, Jiheng Zhang:
Approximations and Optimal Control for State-dependent Limited Processor Sharing Queues.
Alexander Titovets, Philip Mills, Vladik Kreinovich:
Computers Should Be Uniters Not Dividers: A Vision of Computer-Enhanced Happy Future.
Cynthia Kop, Naoki Nishida:
Towards Verifying Procedural Programs using Constrained Rewriting Induction.


Mohammad Javad Taghizadeh, Reza Parhizkar, Philip N. Garner, Hervé Bourlard, Afsaneh Asaei:
Ad Hoc Microphone Array Calibration: Euclidean Distance Matrix Completion Algorithm and Theoretical Guarantees.
Tao Wu, Yuxiao Guo, Leiting Chen, YanBing Liu:
Fast Overlapping and Hierarchical Community Detection via Local Dynamic Interaction.
Leihan Zhang, Jichang Zhao, Ke Xu:
Who creates trends in online social media: The crowd or opinion leaders?
Giuseppe Bianchi, Marco Bonola, Antonio Capone, Carmelo Cascone, Salvatore Pontarelli:
Towards Wire-speed Platform-agnostic Control of OpenFlow Switches.
Ioannis Krikidis, Stelios Timotheou, Symeon Nikolaou, Gan Zheng, Derrick Wing Kwan Ng, Robert Schober:
Simultaneous Wireless Information and Power Transfer in Modern Communication Systems.


André Ricardo Gonçalves, Puja Das, Soumyadeep Chatterjee, Vidyashankar Sivakumar, Fernando J. Von Zuben, Arindam Banerjee:
Multi-task Sparse Structure Learning.
Tao Li, Pingyi Fan, Khaled Ben Letaief:
Outage Probability of Energy Harvesting Relay-aided Cooperative Networks Over Rayleigh Fading Channel.
Alyson K. Fletcher, Sundeep Rangan:
Scalable Inference for Neuronal Connectivity from Calcium Imaging.
Thienne Johnson, Jorge Vergara, Chelsea Doll, Madison Kramer, Gayathri Sundararaman, Harsha Rajendran, Alon Efrat, Melanie Hingle:
A Mobile Food Recommendation System Based on The Traffic Light Diet.
Muthukumaran Chandrasekaran, Prashant Doshi, Yifeng Zeng, Yingke Chen:
Team Behavior in Interactive Dynamic Influence Diagrams with Applications to Ad Hoc Teams.


Martin Nöllenburg, Roman Prutkin, Ignaz Rutter:
On Self-Approaching and Increasing-Chord Drawings of 3-Connected Planar Graphs.
Drazen Lucanin, Foued Jrad, Ivona Brandic, Achim Streit:
Energy-Aware Cloud Management through Progressive SLA Specification.
Xiaoran Jiang, Vincent Gripon, Claude Berrou, Michael G. Rabbat:
Storing sequences in binary tournament-based neural networks.
Chao Li, Lili Guo, Andrzej Cichocki:
Multi-tensor Completion for Estimating Missing Values in Video Data.
Peter Kraker, Christian Schlögl, Kris Jack, Stefanie N. Lindstaedt:
Visualization of Co-Readership Patterns from an Online Reference Management System.
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda:
"Share and Enjoy": Publishing Useful and Usable Scientific Models.

Stefan Kowalewski, Bernhard Rumpe, André Stollenwerk:
Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik?
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis:
Testing Noninterference, Quickly.
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems.
Thomas Kurpick, Markus Look, Claas Pinkernell, Bernhard Rumpe:
Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings.
Olga Liskin, Christoph Herrmann, Eric Knauss, Thomas Kurpick, Bernhard Rumpe, Kurt Schneider:
Supporting acceptance testing in distributed software projects with integrated feedback systems: Experiences and requirements.
Christian Berger, Bernhard Rumpe:
Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System.
Christoph Herrmann, Thomas Kurpick, Bernhard Rumpe:
SSELab: A Plug-In-Based Framework for Web-Based Project Portals.
Stefan Plesser, Claas Pinkernell, M. Norbert Fisch, Bernhard Rumpe:
The Energy Navigator - A Web-Platform for Performance Design and Management.

Chunli Guo, Mike E. Davies:
Near optimal compressed sensing without priors: Parametric SURE Approximate Message Passing.
Amaury Pouly, Daniel S. Graça:
Computational complexity of solving elementary differential equations over unbounded domains.
Abdellatif Zaidi, Shlomo Shamai:
On Cooperative Multiple Access Channels with Delayed CSI at Transmitters.
Michael A. Bekos, Sabine Cornelsen, Luca Grilli, Seok-Hee Hong, Michael Kaufmann:
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs.
Qian Guo, Thomas Johansson, Carl Löndahl:
A New Algorithm for Solving Ring-LPN with a Reducible Polynomial.
Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio:
Neural Machine Translation by Jointly Learning to Align and Translate.
Winfried Gödert:
Facets and Typed Relations as Tools for Reasoning Processes in Information Retrieval.
Inaki Estella Aguerri, Deniz Gündüz:
Distortion Exponent in Fading MIMO Channels with Time-Varying Side Information.
Maximilian Aulbach, Martin Fink, Julian Schuhmann, Alexander Wolff:
Drawing Graphs within Restricted Area.
Zeinab Borhani-fard, Leila Esmaeili, Behrouz Minaei-Bidgoli, Mehdi Nasiri:
Experiments on Data Preprocessing of Persian Blog Networks.
Bart Smets:
Investigation on Demand Side Management Techniques in the Smart Grid using Game Theory and ICT Concepts.
Sofie Haesaert, Robert Babuska, Alessandro Abate:
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.
Mohammad Reza Khanzadi, Giuseppe Durisi, Thomas Eriksson:
Capacity of Multiple-Antenna Phase-Noise Channels with Common/Separate Oscillators.
M. Zebenaya, Toralf Boge, Daniel Choukroun:
Modeling, Stability Analysis, and Testing of a Hybrid Docking Simulator.
Olga Russakovsky, Jia Deng, Hao Su, Jonathan Krause, Sanjeev Satheesh, Sean Ma, Zhiheng Huang, Andrej Karpathy, Aditya Khosla, Michael S. Bernstein, Alexander C. Berg, Fei-Fei Li:
ImageNet Large Scale Visual Recognition Challenge.
Bjørn Kjos-Hanssen:
Kolmogorov structure functions for automatic complexity in computational statistics.
Hui Wu, Zhaoyang Zhang, Huazi Zhang:
Faster Information Propagation on Highways: a Virtual MIMO Approach.
Michael T. Goodrich, Joseph A. Simons:
Data-Oblivious Graph Algorithms in Outsourced External Memory.
Shizhan Zhu, Cheng Li, Chen Change Loy, Xiaoou Tang:
Transferring Landmark Annotations for Cross-Dataset Face Alignment.
Chidambaram Annamalai, Christos Kalaitzis, Ola Svensson:
Combinatorial Algorithm for Restricted Max-Min Fair Allocation.

Hanna Furmanczyk, Marek Kubale:
Equitable coloring of corona products of cubic graphs is harder than ordinary coloring.
Lei Yu, Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Electrical Car Diffusion Based on Agents.
Karl Rupp, Philippe Tillet, Florian Rudolf, Josef Weinbub, Tibor Grasser, Ansgar Jüngel:
Performance Portability Study of Linear Algebra Kernels in OpenCL.
George C. Alexandropoulos, Vlasis Barousis, Constantinos B. Papadias:
Precoding for Multiuser MIMO Systems with Single-Fed Parasitic Antenna Arrays.
Feiyun Zhu, Ying Wang, Bin Fan, Gaofeng Meng, Chunhong Pan:
Effective Spectral Unmixing via Robust Representation and Learning-based Sparsity.
Bowei Chen, Jun Wang:
A Lattice Framework for Pricing Display Ad Options with the Stochastic Volatility Underlying Model.

Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
An Approach for Assessing Clustering of Households by Electricity Usage.
Christian Engels, B. V. Raghavendra Rao:
New Algorithms and Hard Instances for Non-Commutative Computation.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Comparison of algorithms that detect drug side effects using electronic healthcare databases.
Daniel Torres-Salinas, Evaristo Jiménez-Contreras, Nicolas Robinson-Garcia:
How many citations are there in the Data Citation Index?
Grazziela P. Figueredo, Peer-Olaf Siebers, Markus R. Owen, Jenna Reps, Uwe Aickelin:
Comparing Stochastic Differential Equations and Agent-Based Modelling and Simulation for Early-stage Cancer.
Eduard Paul Enoiu, Adnan Causevic:
Enablers and Impediments for Collaborative Research in Software Testing: An Empirical Exploration.
Qi Chen, Amanda M. Whitbrook, Uwe Aickelin, Chris M. Roadknight:
Data classification using the Dempster-Shafer method.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
A Novel Semi-Supervised Algorithm for Rare Prescription Side Effect Discovery.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Signalling Paediatric Side Effects using an Ensemble of Simple Study Designs.
Yihui Liu, Uwe Aickelin:
Feature selection in detection of adverse drug reactions from the Health Improvement Network (THIN) database.
Chris M. Roadknight, Uwe Aickelin, John Scholefield, Lindy Durrant:
Ensemble Learning of Colorectal Cancer Survival Rates.
Zhen Jia, Jianfeng Zhan, Lei Wang, Rui Han, Sally A. McKee, Qiang Yang, Chunjie Luo, Jingwei Li:
Characterizing and Subsetting Big Data Workloads.
Anant P. Bhardwaj, Souvik Bhattacherjee, Amit Chavan, Amol Deshpande, Aaron J. Elmore, Samuel Madden, Aditya G. Parameswaran:
DataHub: Collaborative Data Science & Dataset Version Management at Scale.
Rezaul Karim, Mohd. Momin Al Aziz, Swakkhar Shatabda, M. Sohel Rahman, Md. Abul Kashem Mia, Farhana Zaman, Salman Rakin:
CoMOGrad and PHOG: From Computer Vision to Fast and Accurate Protein Tertiary Structure Retrieval.
George Kesidis, Bhuvan Urgaonkar, Yuquan Shan, S. Kamarava, Jörg Liebeherr:
Network calculus for parallel processing.

Mohammad Rasouli, Erik Miehling, Demosthenis Teneketzis:
A Supervisory Control Approach to Dynamic Cyber-Security.
Béatrice Bérard, John Mullins:
Verification of Information Flow Properties under Rational Observation.
Emil Björnson, Michail Matthaiou, Mérouane Debbah:
Massive MIMO with Arbitrary Non-Ideal Arrays: Hardware Scaling Laws and Circuit-Aware Design.
Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
A Graph-based Perspective to Total Carbon Footprint Assessment of Non-marginal Technology-driven Projects - Use case of OTT/IPTV.
Chính T. Hoàng, D. Adam Lazzarato:
Polynomial-time algorithms for minimum weighted colorings of ($P_5, \bar{P}_5$)-free graphs and related graph classes.
Anh Tran, Jinyan Guan, Thanima Pilantanakitti, Paul R. Cohen:
Action Recognition in the Frequency Domain.
Muneer Usman, Hong-Chuan Yang, Mohamed-Slim Alouini:
Extended Delivery Time Analysis for Non-work-preserving Packet Transmission in Cognitive Environment.
Ahmad Basheer Hassanat, Mohammad Ali Abbadi, Ghada Awad Altarawneh, Ahmad Ali Alhasanat:
Solving the Problem of the K Parameter in the KNN Classifier Using an Ensemble Learning Approach.
Amir Zidi, Mourad Abed:
A Generalized Framework for Ontology-Based Information Retrieval Application to a public-transportation system.



Jeffrey Wildman, Steven Weber:
On the Incompatibility of Connectivity and Local Pooling in Random Graphs.
Rajib Rana, Daniel Austin, Peter G. Jacobs, Mohanraj Karunanithi, Jeffrey A. Kaye:
Continuous Gait Velocity Estimation using Houseohld Motion Detectors.
Liansheng Zhuang, Shenghua Gao, Jinhui Tang, Jingjing Wang, Zhouchen Lin, Yi Ma:
Constructing a Non-Negative Low Rank and Sparse Graph with Data-Adaptive Features.
Chun-Hao Liu, Przemyslaw Pawelczak, Danijela Cabric:
Primary User Traffic Classification in Dynamic Spectrum Access Networks.
Xiangjing Lai, Zhipeng Lü, Jin-Kao Hao, Fred Glover, Liping Xu:
Path Relinking for Bandwidth Coloring Problem.
Mohammad Esmaeilzadeh, Neda Aboutorab:
Inter-session Network Coding for Transmitting Multiple Layered Streams over Single-hop Wireless Networks.
Evgeny Vainer, Amiram Yehudai:
Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software.
Michael Frey, Mesut Günes:
Attack of the Ants: Studying Ant Routing Algorithms in Simulation and Wireless Testbeds.
Van-Thiep Nguyen, Matthieu Gautier, Olivier Berder:
Implementation of an adaptive energy-efficient MAC protocol in OMNeT++/MiXiM.
Mirko Stoffers, Ralf Bettermann, James Gross, Klaus Wehrle:
Enabling Distributed Simulation of OMNeT++ INET Models.
Keigo Kawahara, Yutaka Matsubara, Hiroaki Takada:
A Simulation Environment and preliminary evaluation for Automotive CAN-Ethernet AVB Networks.
Jacek Pierzchlewski, Thomas Arildsen:
Generation and Analysis of Constrained Random Sampling Patterns.
Sebastian Schellenberg, Rüdiger Berndt, Reinhard German, David Eckhoff:
Evaluating the Electrification of Vehicle Fleets Using the Veins Framework.
Alexander Setzer:
The planar minimum linear arrangement problem is different from the minimum linear arrangement problem.
Humberto Escudero Argumanez, Matthias Tschauner:
Tactical communication systems based on civil standards: Modeling in the MiXiM framework.
Patrick Wunner, Stefan May, Sebastian Dengler:
Development and Testing of Automotive Ethernet-Networks together in one Tool - OMNeT++.
Fionn Murtagh, Monica Pianosi, Richard Bull:
Visualizing and Quantifying Impact and Effect in Twitter Narrative using Geometric Data Analysis.
Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
Variability of Behaviour in Electricity Load Profile Clustering; Who Does Things at the Same Time Each Day?
Josie C. McCulloch, Chris J. Hinde, Christian Wagner, Uwe Aickelin:
A Fuzzy Directional Distance Measure.
Josie McCulloch, Christian Wagner, Uwe Aickelin:
Analysing Fuzzy Sets Through Combining Measures of Similarity and Distance.
Yuzhe Zhou, Bo Ai:
Provide High-QoS of the High-Speed Railway Mobile Communications in Cyber-Physical Systems.
Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi:
Tuning a Multiple Classifier System for Side Effect Discovery using Genetic Algorithms.
Diman Hassan, Uwe Aickelin, Christian Wagner:
Comparison of Distance Metrics for Hierarchical Data in Medical Databases.
Alexandros Ladas, Jonathan M. Garibaldi, Rodrigo Scarpel, Uwe Aickelin:
Augmented Neural Networks for Modelling Consumer Indebtness.

Fanhua Shang, Yuanyuan Liu, Hanghang Tong, James Cheng, Hong Cheng:
Structured Low-Rank Matrix Factorization with Missing and Grossly Corrupted Observations.
Marjan Falahrastegar, Hamed Haddadi, Steve Uhlig, Richard Mortier:
Anatomy of the Third-Party Web Tracking Ecosystem.
Xinsheng Lai, Yuren Zhou, Jun He, Jun Zhang:
Performance Analysis on Evolutionary Algorithms for the Minimum Label Spanning Tree Problem.
Yuanxin Wu:
Versatile Land Navigation Using Inertial Sensors and Odometry: Self-calibration, In-motion Alignment and Positioning.

Rishabh Jain, Abhishek B. S., Satvik Jagannath:
Mining and Analyzing Twitter trends: Frequency based ranking of descriptive Tweets.
Narine Manukyan, Margaret J. Eppstein, Jeffrey S. Buzas:
Tunably Rugged Landscapes with Known Maximum and Minimum.
Abdellatif Zaidi:
Achievable Regions for Interference Channels with Generalized and Intermittent Feedback.
Hatem Abou-zeid, Hossam S. Hassanein:
Toward Green Media Delivery: Location-Aware Opportunities and Approaches.
Tanay Kumar Saha, Mohammad Al Hasan:
FS^3: A Sampling based method for top-k Frequent Subgraph Mining.
Kamran Latif:
Hybrid Systems Knowledge Representation Using Modelling Environment System Techniques Artificial Intelligence.

Sathish Govindarajan, Gabriel Nivasch:
A variant of the Hadwiger-Debrunner (p, q)-problem in the plane.
Jean Pouget-Abadie, Dzmitry Bahdanau, Bart van Merrienboer, KyungHyun Cho, Yoshua Bengio:
Overcoming the Curse of Sentence Length for Neural Machine Translation using Automatic Segmentation.
KyungHyun Cho, Bart van Merrienboer, Dzmitry Bahdanau, Yoshua Bengio:
On the Properties of Neural Machine Translation: Encoder-Decoder Approaches.
Ahmed El Shafie, Mahmoud Ashour, Amr Mohamed, Tamer Khattab:
Optimal Spectrum Access for a Rechargeable Cognitive Radio User Based on Energy Buffer State.
Sawood Alam, Fateh ud din B. Mehmood, Michael L. Nelson:
Improving Accessibility of Archived Raster Dictionaries of Complex Script Languages.
Mohan Yang, Bolin Ding, Surajit Chaudhuri, Kaushik Chakrabarti:
Finding Patterns in a Knowledge Base using Keywords to Compose Table Answers.
Jacob Ziv:
A Constrained-Dictionary version of LZ78 asymptotically achieves the Finite-State Compressibility for any Individual Sequence.
François Dross, Mickaël Montassier, Alexandre Pinlou:
Large induced forests in planar graphs with girth 4 or 5.
Roman Kern, Kris Jack, Michael Granitzer:
Recommending Scientific Literature: Comparing Use-Cases and Algorithms.
Dani Korpi, Lauri Anttila, Mikko Valkama:
Feasibility of In-band Full-Duplex Radio Transceivers with Imperfect RF Components: Analysis and Enhanced Cancellation Algorithms.
Dani Korpi, Lauri Anttila, Mikko Valkama:
Impact of Received Signal on Self-interference Channel Estimation and Achievable Rates in In-band Full-duplex Transceivers.

Surender Kumar, Manish Prateek, N. J. Ahuja, Bharat Bhushan:
MEEP: Multihop Energy Efficient Protocol For Heterogeneous Wireless Sensor Network.
Uchenna Peter Daniel, Nneka Chikazo Agbanusi, Kwetishe Joro Danjuma:
A Survey of Bandwidth Optimization Techniques and Patterns in VoIP Services and Applications.
Mohieddine El Soussi, Abdellatif Zaidi, Luc Vandendorpe:
Compute-and-Forward on a Multi-User Multi-Relay Channel.
Manuel S. Stein, Sebastian Theiler, Josef A. Nossek:
Overdemodulation for High-Performance Receivers with Low-Resolution ADC.
Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth:
Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics.
Vasumathi Raman, Hadas Kress-Gazit:
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.
Siamak Ravanbakhsh, Philip Liu, Trent C. Bjorndahl, Rupasri Mandal, Jason R. Grant, Michael Wilson, Roman Eisner, Igor Sinelnikov, Xiaoyu Hu, Claudio Luchinat, Russell Greiner, David S. Wishart:
Accurate, fully-automated NMR spectral profiling for metabolomics.
Martin Jaggi, Virginia Smith, Martin Takác, Jonathan Terhorst, Sanjay Krishnan, Thomas Hofmann, Michael I. Jordan:
Communication-Efficient Distributed Dual Coordinate Ascent.
David Flatow, Mor Naaman, Ke Eddie Xie, Yana Volkovich, Yaron Kanza:
On the Accuracy of Hyper-local Geotagging of Social Media Content.

Erik Leitinger, Paul Meissner, Christoph Rüdisser, Gregor Dumphart, Klaus Witrisal:
Evaluation of Position-related Information in Multipath Components for Indoor Positioning.
Alejandro Betancourt, Pietro Morerio, Carlo S. Regazzoni, Matthias Rauterberg:
The Evolution of First Person Vision Methods: A Survey.
Giovanni Luca Ciampaglia, Dario Taraborelli:
MoodBar: Increasing new user retention in Wikipedia through lightweight socialization.
O. Kaczmarek, C. Schmidt, P. Steinbrecher, Swagato Mukherjee, M. Wagner:
HISQ inverter on Intel Xeon Phi and NVIDIA GPUs.
Ronggui Xie, Huarui Yin, Xiaohui Chen, Zhengdao Wang:
Multiple Access for Small Packets Based on Precoding and Sparsity-Aware Detection.
Habib Mostafaei, Mehdi Esnaashari, Mohammad Reza Meybodi:
A Coverage Monitoring algorithm based on Learning Automata for Wireless Sensor Networks.

Salim El Rouayheb, Sreechakra Goparaju, Han Mao Kiah, Olgica Milenkovic:
Synchronizing Edits in Distributed Storage Networks.
Karen Simonyan, Andrew Zisserman:
Very Deep Convolutional Networks for Large-Scale Image Recognition.
Muhammad Nazmul Islam, Narayan B. Mandayam, Sastry Kompella, Ivan Seskar:
Power Optimal Non-contiguous Spectrum Access in Multi Front End Radio Enabled Point-to-Point Link.
Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki:
A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tile set synthesis.
Muneer Usman, Hong-Chuan Yang, Mohamed-Slim Alouini:
Extended Delivery Time Analysis for Cognitive Packet Transmission with Application to Secondary Queuing Analysis.


Ashraf A. Shahin, Areeg Samir, Abdelaziz Khamis:
An Aspect-Oriented Approach for SaaS Application Customization.
Kevin Weekly, Ming Jin, Han Zou, Christopher Hsu, Alexandre M. Bayen, Costas J. Spanos:
Building-in-Briefcase (BiB).
Ratnesh Kumbhkar, Muhammad Nazmul Islam, Narayan B. Mandayam, Ivan Seskar:
Rate Optimal design of a Wireless Backhaul Network using TV White Space.
Preetum Nakkiran, Nihar B. Shah, K. V. Rashmi:
Fundamental Limits on Communication for Oblivious Updates in Storage Networks.
Kumar Vijay Mishra, Myung Cho, Anton Kruger, Weiyu Xu:
Spectral Super-resolution With Prior Knowledge.
Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion:
Simulating Non Stationary Operators in Search Algorithms.
Tomás Flouri, Emanuele Giaquinta, Kassian Kobert, Esko Ukkonen:
Longest common substrings with k mismatches.
Simon P. Schatz, Tansel Yucelen:
Scalability Concept for Predictable Closed-Loop Response of Adaptive Controllers.
Cristian-Eduard Belciug, Ovidiu Andrei Schipor, Mirela Danubianu:
Exercises for Children with Dyslalia-Software Infrastructure.
Giacomo di Tollo, Frédéric Lardeux, Jorge Maturana, Frédéric Saubion:
An Experimental Study of Adaptive Control for Evolutionary Algorithms.
George Theodorakopoulos, Reza Shokri, Carmela Troncoso, Jean-Pierre Hubaux, Jean-Yves Le Boudec:
Prolonging the Hide-and-Seek Game: Optimal Trajectory Privacy for Location-Based Services.

Stojan Trajanovski, Yezekael Hayel, Eitan Altman, Huijuan Wang, Piet Van Mieghem:
Decentralized Protection Strategies against SIS Epidemics in Networks.


David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the distribution of cells by dimension in a cylindrical algebraic decomposition.
Gary B. Huang, Stephen Plaza:
Identifying Synapses Using Deep and Wide Multiscale Recursive Networks.
Tao Chen, Funmilade Faniyi, Rami Bahsoon, Peter R. Lewis, Xin Yao, Leandro L. Minku, Lukas Esterle:
The Handbook of Engineering Self-Aware and Self-Expressive Systems.
Peter Grindrod, Desmond J. Higham, Robert S. MacKay:
Opportunities at the Mathematics/Future Cities Interface.
Silvija Kokalj-Filipovic, Larry Greenstein, Bin Cheng, Marco Gruteser:
V2V Propagation Modeling with Imperfect RSSI Samples.
Pengfei Chen, Yong Qi, Di Hou, Jiankang Liu:
Bio-inspired Mechanism and Model Exploration of Software Aging.
Thanh Long Vu, Konstantin Turitsyn:
Lyapunov Functions Family Approach to Transient Stability Assessment.
Nicolas Vasilache, Muthu Manikandan Baskaran, Thomas Henretty, Benoît Meister, Harper Langston, Sanket Tavarageri, Richard Lethin:
A Tale of Three Runtimes.
Rajib Kumar Rana, Brano Kusy, Josh Wall, Wen Hu:
Novel Methods for Activity Classification and Occupany Prediction Enabling Fine-grained HVAC Control.
Manav R. Bhatnagar:
On the Sum of Correlated Squared $κ-μ$ Shadowed Random Variables and its Application to Performance Analysis of MRC.
Ramesh G. P., Aravind C. V., Rajparthiban R., N. Soysa:
A Body Area Network through Wireless Technology.

Saba Babakhani, Niloofar Mozafari, Ali Hamzeh:
A Martingale Approach to Detect Peak of News in Social Network.
Klaus Rohe:
Computing the coefficients for the power series solution of the Lane-Emden equation with the Python library SymPy.
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta:
Statics and dynamics of selfish interactions in distributed service systems.
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology.
Fedor Andreev, Bahman Kalantari:
Algorithms and Polynomiography for Solving Quaternion Quadratic Equations.
Stephen Czarnuch, Alex Mihailidis:
Depth image hand tracking from an overhead perspective using partially labeled, unbalanced data: Development and real-world testing.
Bahman Kalantari:
A One-Line Proof of the Fundamental Theorem of Algebra with Newton's Method as a Consequence.
Martin Lévesque:
Rethinking the Contention Resolution Mechanism in WiMAX Networks using Lattice Correlators for Improved Smart Grid Communication Performance.



Seongah Jeong, Osvaldo Simeone, Alexander M. Haimovich, Joonhyuk Kang:
Optimal Fronthaul Quantization for Cloud Radio Positioning.
Emiliano De Cristofaro, Arik Friedman, Guillaume Jourjon, Mohamed Ali Kâafar, M. Zubair Shafiq:
Paying for Likes? Understanding Facebook Like Fraud Using Honeypots.
Mohammad Javad Emadi, Majid Nasiri Khormuji, Mikael Skoglund, Mohammad Reza Aref:
Multi layer Gelfand Pinsker Strategies for the Generalized Multiple Access Channel.
Lei Luo, Chunhua Shen, Xinwang Liu, Chunyuan Zhang:
A Computational Model of the Short-Cut Rule for 2D Shape Decomposition.
Mousa Alfalayleh, Ljiljana Brankovic:
Quantifying Privacy: A Novel Entropy-Based Measure of Disclosure Risk.
Pedro D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart Sampling for Lightweight Verification of Markov Decision Processes.
Valery A. Ugrinovskii:
Detectability of distributed consensus-based observer networks: An elementary analysis and extensions.
Mouhacine Benosman, Stefano Di Cairano, Avishai Weiss:
Extremum Seeking-based Iterative Learning Linear MPC.
Mouhacine Benosman:
Multi-Parametric Extremum Seeking-based Auto-Tuning for Robust Input-Output Linearization Control.
Xianlei Dong, Johan Bollen:
Computational models of consumer confidence from large-scale online attention data: crowd-sourcing econometrics.
Moses Charikar, Monika Henzinger, Huy L. Nguyen:
Online Bipartite Matching with Decomposable Weights.
Ardavan Rahimian, Davood Momeni Pakdehi:
Design and Realization of an S-Band Microwave Low-Noise Amplifier for Wireless RF Subsystems.
Jagdish Lal Raheja, Dhiraj, D. Gopinath, Ankit Chaudhary:
GUI system for Elders/Patients in Intensive Care.

Kamalika Chaudhuri, Daniel J. Hsu, Shuang Song:
The Large Margin Mechanism for Differentially Private Maximization.
Pin-Yu Chen, Alfred O. Hero III:
Universal Phase Transition in Community Detectability under a Stochastic Block Model.
Daniel Fried, Mihai Surdeanu, Stephen G. Kobourov, Melanie Hingle, Dane Bell:
Analyzing the Language of Food on Social Media.
Nahid Hajizadeh, Marzieh Ahmadzadeh:
Analysis of factors that affect the students academic performance - Data Mining Approach.
Nahid Hajizadeh, Manijeh Keshtgary, Marzieh Ahmadzadeh:
Assessment of classification techniques on predicting success or failure of Software reusability.
Matthias Bucher, Spyros Chatzivasileiadis, Göran Andersson:
Managing Flexibility in Multi-Area Power Systems.
Qi Mo, Hengchin Yeh, Dinesh Manocha:
Tracing Analytic Ray Curves for Light and Sound Propagation in Non-linear Media.
Oleg Finko, Sergey Dichenko:
Secure pseudo-random linear binary sequences generators based on arithmetic polynoms.


Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid:
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks.
Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents]
Solomon Tesfamicael, Bruhtesfa E. Godana, Faraz Barzideh:
Compressed Sensing Performance Analysis via Replica Method using Bayesian framework.
Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos, Richard F. Paige, Andreas Horst, Bernhard Rumpe:
On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories.
M. Norbert Fisch, Markus Look, Claas Pinkernell, Stefan Plesser, Bernhard Rumpe:
State-Based Modeling of Buildings and Facilities.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems.
Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-oriented Software Product Line Architectures.
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams.
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models.
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta-oriented Architectural Variability Using MontiCore.
Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden:
Hierarchical Variability Modeling for Software Architectures.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
ADDiff: Semantic Differencing for Activity Diagrams.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Operational Semantics for Activity Diagrams using SMV.
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling: State of the Art and Research Challenges.
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management.
Stefan Plesser, M. Norbert Fisch, Claas Pinkernell, Thomas Kurpick, Bernhard Rumpe:
The Energy Navigator - A Web based Platform for functional Quality Mangement in Buildings.
Nadine Rons:
Investigation of Partition Cells as a Structural Basis Suitable for Assessments of Individual Scientists.
Hans Grönniger, Dirk Reiß, Bernhard Rumpe:
Towards a Semantics of Activity Diagrams with Semantic Variation Points.
Holger Krahn, Bernhard Rumpe, Steven Völkel:
MontiCore: a Framework for Compositional Development of Domain Specific Languages.
Alex Dytso, Stefano Rini, Natasha Devroye, Daniela Tuninetti:
On the Capacity Region of the Two-user Interference Channel with a Cognitive Relay.
Jan O. Biermeyer, Todd Templeton, Christian Berger, Humberto González, Nikhil Naikal, Bernhard Rumpe, S. Shankar Sastry:
Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART).
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
Towards Architectural Programming of Embedded Systems.
Christian Berger, Bernhard Rumpe, Steven Völkel:
Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines.
Christian Berger, Tim Gülke, Bernhard Rumpe:
ProcDSL + ProcEd - a Web-based Editing Solution for Domain Specific Process-Engineering.
Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Design Guidelines for Domain Specific Languages.
Michael Dukaczewski, Dirk Reiss, Mark Stein, Bernhard Rumpe:
MontiWeb - Modular Development of Web Information Systems.
Athanasios P. Liavas, Nicholas D. Sidiropoulos:
Parallel Algorithms for Constrained Tensor Factorization via the Alternating Direction Method of Multipliers.
Markus Look, Antonio Navarro Pérez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems.

Sebastian Ordyniak, Alexandru Popa:
A Parameterized Study of Maximum Generalized Pattern Matching Problems.
Michal Cáp, Peter Novák, Alexander Kleiner, Martin Selecký:
Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots.
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime:
Interrupt Timed Automata with Auxiliary Clocks and Parameters.

Antonina Kolokolova, Renesa Nizamee:
Approximating solution structure of the Weighted Sentence Alignment problem.
Robert West, Hristo S. Paskov, Jure Leskovec, Christopher Potts:
Exploiting Social Network Structure for Person-to-Person Sentiment Analysis.


Ives Rey-Otero, Mauricio Delbracio, Jean-Michel Morel:
Comparing Feature Detectors: A bias in the repeatability criteria, and how to correct it.
Ayad Ghany Ismaeel, Raghad Z. Yousif:
Simulate High Traffic and Effective Cost an Academic Kurdistan Network Based on DWDM using OPNET.

Khalifeh AlJadda, Mohammed Korayem, Camilo Ortiz, Chris Russell, David Bernal, Lamar Payson, Scott Brown, Trey Grainger:
Augmenting recommendation systems using a model of semantically-related terms extracted from user behavior.
Saeedeh Parsaeefard, Tho Le-Ngoc:
Full-Duplex Relay with Jamming Protocol for Improving Physical-Layer Security.
Yodsawalai Chodpathumwan, Jose Picado, Arash Termehchy, Alan Fern, Yizhou Sun:
Representation Independent Analytics Over Structured Data.
John R. Hershey, Jonathan Le Roux, Felix Weninger:
Deep Unfolding: Model-Based Inspiration of Novel Deep Architectures.
Ahmet Cetinkaya, Tomohisa Hayakawa:
Feedback Control of Switched Stochastic Systems Using Randomly Available Active Mode Information.
Ting-ting Feng, Gang Wu:
A theoretical contribution to the fast implementation of null linear discriminant analysis method using random matrix multiplication with scatter matrices.
Georgios Skoumas, Klaus Arthur Schmid, Gregor Jossé, Andreas Züfle, Mario A. Nascimento, Matthias Renz, Dieter Pfoser:
Towards Knowledge-Enriched Path Computation.
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit:
Automatic Detection of Webpages that Share the Same Web Template. 2-15
Ramaswamy Ramanujam, S. Sheerazuddin:
A Local Logic for Realizability in Web Service Choreographies. 16-35
Yue Ling Che, Rui Zhang, Yi Gong, Lingjie Duan:
On Spatial Capacity of Wireless Ad Hoc Networks with Threshold Based Scheduling.
Paulo Oliva:
Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. EPTCS 164, 2014 [contents]
Rad Niazadeh, Yang Yuan, Robert D. Kleinberg:
Simple and Near-Optimal Mechanisms For Market Intermediation.

Suyog Gupta, Vikas Sindhwani, Kailash Gopalakrishnan:
Learning Machines Implemented on Non-Deterministic Hardware.
Tim Gülke, Bernhard Rumpe, Martin Jansen, Joachim Axmann:
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement.
Ihab Sbeity, Mohamed Dbouk, Habib Kobeissi:
Combining the analytical hierarchy process and the genetic algorithm to solve the timetable problem.
Alessandro Bessi, Guido Caldarelli, Michela Del Vicario, Antonio Scala, Walter Quattrociocchi:
Social determinants of content selection in the age of (mis)information.
Mark S. Melenhorst, María Menéndez Blanco, Martha Larson:
A Crowdsourcing Procedure for the Discovery of Non-Obvious Attributes of Social Image.
Sanjaya Kumar Sahu, T. V. Dixit, D. D. Neema:
Particle Swarm Optimized Fuzzy Controller for Indirect Vector Control of Multilevel Inverter Fed Induction Motor.
Francesco Setti, Chris Russell, Chiara Bassetti, Marco Cristani:
F-formation Detection: Individuating Free-standing Conversational Groups in Images.



Alireza Makhzani, Brendan J. Frey:
A Winner-Take-All Method for Training Sparse Convolutional Autoencoders.
Inga A. Ivanova, Øivind Strand, Loet Leydesdorff:
Synergy cycles in the Norwegian innovation system: The relation between synergy and cycle values.
Efthalia Karydi, Konstantinos G. Margaritis:
Parallel and Distributed Collaborative Filtering: A Survey.
Takeshi Tsukada, C.-H. Luke Ong:
Innocent Strategies are Sheaves over Plays - Deterministic, Non-deterministic and Probabilistic Innocence.
Xingqin Lin, Robert W. Heath Jr., Jeffrey G. Andrews:
The Interplay between Massive MIMO and Underlaid D2D Networking.
William B. March, George Biros:
Far-Field Compression for Fast Kernel Summation Methods in High Dimensions.
Bagher Saberi, Nasser Ghadiri:
A Sample-Based Approach to Data Quality Assessment in Spatial Databases with Application to Mobile Trajectory Nearest-Neighbor Search.
Meysam Ghaffari, Nasser Ghadiri:
Ambiguity-Driven Fuzzy C-Means Clustering: How to Detect Uncertain Clustered Records.
Guofeng Cao, Shaowen Wang, Myunghwa Hwang, Anand Padmanabhan, Zhenhua Zhang, Kiumars Soltani:
A Scalable Framework for Spatiotemporal Analysis of Location-based Social Media Data.
Renato L. G. Cavalcante, Emmanuel Pollakis, Slawomir Stanczak:
Power Estimation in LTE systems with the General Framework of Standard Interference Mappings.
Lutz Bornmann:
Which kind of papers has higher or lower altmetric counts? A study using article-level metrics from PLOS and F1000Prime.
Noreen Jamil, Xuemei Chen, Alex Cloninger:
The Hildreth's Algorithm with Applications to Soft Constraints for User Interface Layout.





Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals:
From Small Space to Small Width in Resolution.
Andrey Bogomolov, Bruno Lepri, Jacopo Staiano, Nuria Oliver, Fabio Pianesi, Alex Pentland:
Once Upon a Crime: Towards Crime Prediction from Demographics and Mobile Data.
Abdelkader El Mahdaouy, Saïd El Alaoui Ouatik, Éric Gaussier:
A Study of Association Measures and their Combination for Arabic MWT Extraction.
Ibrahim El Bitar, Fatima-Zahra Belouadha, Ounsa Roudiès:
Semantic web service discovery approaches: overview and limitations.
Sabarathinam Chockalingam, Harjinder Singh Lallie:
The Conceptual Idea of Online Social Media Site (SMS) User Account Penetration Testing System.
Nick Gravin, Yuval Peres, Balasubramanian Sivan:
Towards Optimal Algorithms for Prediction with Expert Advice.
Nikhil R. Devanur, Yuval Peres, Balasubramanian Sivan:
Perfect Bayesian Equilibria in Repeated Sales.
Keivan Borna, Vahid Haji Hashemi:
An improved genetic algorithm with a local optimization strategy and an extra mutation level for solving traveling salesman problem.
Michael Erhard, Hans Strauch:
Flight control of tethered kites and winch control for autonomous airborne wind energy generation in pumping cycles.
Weitao Xu, Dongfeng Yuan, Liangfei Xue:
Design and Implementation of Intelligent Community System Based on Thin Client and Cloud Computing.
Yue Ling Che, Lingjie Duan, Rui Zhang:
Spatial Throughput Maximization of Wireless Powered Communication Networks.
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn:
Pruning, Pushdown Exception-Flow Analysis.
Sami Akin, Mustafa Cenk Gursoy:
Performance Analysis of Cognitive Radio Systems with Imperfect Channel Sensing and Estimation.
Damien Garreau, Rémi Lajugie, Sylvain Arlot, Francis R. Bach:
Metric Learning for Temporal Sequence Alignment.
Teresa Gomez-Diaz:
Free software, Open source software, licenses. A short presentation including a procedure for research software and data dissemination.


Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe:
Characterization of Termination for Linear Loop Programs.
Anne-Maria Ernvall-Hytönen, B. A. Sethuraman:
Counterexample to the $l$-modular Belfiore-Solé Conjecture.
Michael T. Goodrich, Pawel Pszona:
Two-Phase Bicriterion Search for Finding Fast and Efficient Electric Vehicle Routes.
Petko Georgiev, Nicholas D. Lane, Kiran K. Rachuri, Cecilia Mascolo:
DSP.Ear: Leveraging Co-Processor Support for Continuous Audio Sensing on Smartphones.
Michael Carl Tschantz, Sadia Afroz, Vern Paxson, J. Doug Tygar:
On Modeling the Costs of Censorship.
Saurabh Aggarwal, Joy Kuri:
Strategies for Utility Maximization in Social Groups with Preferential Exploration.
Ahmad Gomaa, Louay M. A. Jalloul:
Efficient Soft-Input Soft-Output MIMO Chase Detectors for arbitrary number of streams.
Bill Jason Tomas, Yingtao Jiang, Mei Yang:
Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure.



Herman Geuvers, Wouter Geraedts, Bram Geron, Judith van Stegeren:
A type system for Continuation Calculus. 1-17
Steffen van Bakel, Maria Grazia Vigliotti:
A fully-abstract semantics of lambda-mu in the pi-calculus. 33-47
Michele Basaldella:
Infinitary Classical Logic: Recursive Equations and Interactive Semantics. 48-62
José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto:
Confluence for classical logic through the distinction between values and computations. 63-77
Pattama Longani:
Square Grid Points Coveraged by Connected Sources with Coverage Radius of One on a Two-Dimensional Grid.
Behrooz Makki, Tommy Svensson, Michele Zorzi:
Finite Block-length Analysis of the Incremental Redundancy HARQ.
Behrooz Makki, Tommy Svensson, Mérouane Debbah:
Reinforcement-based data transmission in temporally-correlated fading channels: Partial CSIT scenario.
Behrooz Makki, Tommy Svensson, Michele Zorzi:
Green communication via Type-I ARQ: Finite block-length analysis.
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications.

Christoph Klemenjak, Dominik Egarter, Wilfried Elmenreich:
YoMo - The Arduino based Smart Metering Board.
Mohammed Saad ElBamby, Mehdi Bennis, Walid Saad, Matti Latva-aho:
Content-Aware User Clustering and Caching in Wireless Small Cell Networks.

Haimonti Dutta, Ashwin Srinivasan:
Consensus-Based Modelling using Distributed Feature Construction.
Yousi Zheng, Ness B. Shroff, Prasun Sinha:
Heavy Traffic Limits for GI/H/n Queues: Theory and Application.
Nicolas Robinson-Garcia, Evaristo Jiménez-Contreras, Clara Calero-Medina:
The impact of a few: The effect of alternative formulas for recruiting talent in a non-competitive system.
Wanli Ouyang, Ping Luo, Xingyu Zeng, Shi Qiu, Yonglong Tian, Hongsheng Li, Shuo Yang, Zhe Wang, Yuanjun Xiong, Chen Qian, Zhenyao Zhu, Ruohui Wang, Chen Change Loy, Xiaogang Wang, Xiaoou Tang:
DeepID-Net: multi-stage and deformable deep convolutional neural networks for object detection.
Udaya Raj Dhungana, Subarna Shakya, Kabita Baral, Bharat Sharma:
Word Sense Disambiguation using WSD specific Wordnet of Polysemy Words.

Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
A Generalized Reduced Linear Program for Markov Decision Processes.



Weijun Tang, Rongbin Zhang, Yuan Liu, Suili Feng:
Joint Resource Allocation for eICIC in Heterogeneous Networks.


Caetano Sauer, Theo Härder:
A novel recovery mechanism enabling fine-granularity locking and fast, REDO-only recovery.
Pan Cao, Alessio Zappone, Eduard A. Jorswieck:
Grouping-based Interference Alignment with IA-Cell Assignment in Multi-Cell MIMO MAC under Limited Feedback.
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná:
LTL Model Checking of Parametric Timed Automata.
Xingfu Li, Daming Zhu:
A 4/3-approximation algorithm for finding a spanning tree to maximize its internal vertices.
Bertrand Verlaine, Ivan Jureta, Stéphane Faulkner:
Aligning a Service Provisioning Model of a Service-Oriented System with the ITIL v.3 Life Cycle.
Argyrios Deligkas, John Fearnley, Rahul Savani, Paul G. Spirakis:
Computing Approximate Nash Equilibria in Polymatrix Games.
Faisal N. Abu-Khzam, Cristina Bazgan, Morgan Chopin, Henning Fernau:
Data Reductions and Combinatorial Bounds for Improved Approximation Algorithms.



Daniel Crankshaw, Peter Bailis, Joseph E. Gonzalez, Haoyuan Li, Zhao Zhang, Michael J. Franklin, Ali Ghodsi, Michael I. Jordan:
The Missing Piece in Complex Analytics: Low Latency, Scalable Model Management and Serving with Velox.
Yannick Versley:
Incorporating Semi-supervised Features into Discontinuous Easy-First Constituent Parsing.
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz:
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Ardalan Alizadeh, Hamid-Reza Bahrami, Mehdi Maleki, Shivakumar Sastry:
Spatial Sensing and Cognitive Radio Communication in the Presence of A $K$-User Interference Primary Network.
M. Emre Celebi, Hassan A. Kingravi:
Linear, Deterministic, and Order-Invariant Initialization Methods for the K-Means Clustering Algorithm.
Vladimir V. V'yugin:
On Stability Property of Probability Laws with Respect to Small Violations of Algorithmic Randomness.
Jake Ryland Williams, James P. Bagrow, Christopher M. Danforth, Peter Sheridan Dodds:
Text mixing shapes the anatomy of rank-frequency distributions: A modern Zipfian mechanics for natural language.
Qianli Liao, Joel Z. Leibo, Tomaso A. Poggio:
Unsupervised learning of clutter-resistant visual representations from natural videos.

Ankit Singh Rawat, Arya Mazumdar, Sriram Vishwanath:
Cooperative Local Repair in Distributed Storage.
Hien Quoc Ngo, Michail Matthaiou, Erik G. Larsson:
Massive MIMO with Optimal Power and Training Duration Allocation.
Hindayati Mustafidah, Suwarsito:
Analysis of Competence Level and the Attendance of the Lecturer in Its Effects on Students Grade Using Fuzzy Quantification Theory.
Caijun Zhong, Himal A. Suraweera, Gan Zheng, Ioannis Krikidis, Zhaoyang Zhang:
Wireless Information and Power Transfer with Full Duplex Relaying.
Ju Shen, Jianjun Yang, Sami Taha-abusneineh, Bryson Payne, Markus A. Hitz:
Structure Preserving Large Imagery Reconstruction.
Sophie Morin, Jean-Marc Robert, Liane Gabora:
A New Course on Creativity in an Engineering Program: Foundations and Issues.

Zhe He, Rui-Jie Xu, Si-Wu Liu, Bing-Hong Wang:
The upper bound of packet transmission capacity in local static routings.

Arpan Chattopadhyay, Avishek Ghosh, Akhila Rao, Bharat Dwivedi, S. V. R. Anand, Marceau Coupechoux, Anurag Kumar:
Impromptu Deployment of Wireless Relay Networks: Experiences Along a Forest Trail.

Stepan Holub, Tomás Masopust, Michaël Thomazo:
Alternating Towers and Piecewise Testable Separators.
Shunqiao Sun, Waheed U. Bajwa, Athina P. Petropulu:
MIMO-MC Radar: A MIMO Radar Approach Based on Matrix Completion.
Xianghui Cao, Lu Liu, Wenlong Shen, Jin Tang, Yu Cheng:
Real-Time Misbehavior Detection in IEEE 802.11e Based WLANs.
Alessandro Bergamo, Loris Bazzani, Dragomir Anguelov, Lorenzo Torresani:
Self-taught Object Localization with Deep Networks.
Yin Zheng, Yu-Jin Zhang, Hugo Larochelle:
A Deep and Autoregressive Approach for Topic Modeling of Multimodal Data.
Rishabh Jain, Rupanta Rwiteej Dutta, Rajat Tandon:
Clear, Concise and Effective UI: Opinion and Suggestions.
(Withdrawn) Lyapunov Based Frugal Incentive Mechanism for Periodical Mobile Crowdsensing.
Pichao Wang, Wanqing Li, Philip Ogunbona, Zhimin Gao, Hanling Zhang:
Mining Mid-level Features for Action Recognition Based on Effective Skeleton Representation.
Daniel Hidru, Anna Goldenberg:
EquiNMF: Graph Regularized Multiview Nonnegative Matrix Factorization.
Malcolm A. Egan, Gareth W. Peters, Ido Nevat, Iain B. Collings:
The Business Case for Facility-Operated Wireless Cellular Micronetworks.
M. C. Hanumantharaju, M. Ravishankar, D. R. Ramesh Babu:
Design of Novel Algorithm and Architecture for Gaussian Based Color Image Enhancement System for Real Time Applications.
M. C. Hanumantharaju, M. Ravishankar, D. R. Ramesh Babu, V. N. Manjunath Aradhya:
A New Framework for Retinex based Color Image Enhancement using Particle Swarm Optimization.
Wenwen Tu, Lifeng Lai:
On the Simulatability Condition in Key Generation Over a Non-authenticated Public Channel.
Nicolas Gauvrit, Henrik Singmann, Fernando Soler-Toscano, Hector Zenil:
Algorithmic complexity for psychology: A user-friendly implementation of the coding theorem method.
Markus Knecht, Willi Meier, Carlo U. Nicola:
A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm.
Evgeniy Pluzhnik, Evgeny Nikulchev:
Virtual Laboratories in Cloud Infrastructure of Educational Institutions.
Binay K. Bhattacharya, Minati De, Subhas C. Nandy, Sasanka Roy:
Facility location problems in the constant work-space read-only memory model.
Jonathan Balzer, Daniel Acevedo Feliz, Stefano Soatto, Sebastian Höfer, Markus Hadwiger, Jürgen Beyerer:
Cavlectometry: Towards Holistic Reconstruction of Large Mirror Objects.
(Withdrawn) Simple inequalities for weighted entropies.
Yu-Chuan Su, Tzu-Hsuan Chiu, Chun-Yen Yeh, Hsinfu Huang, Winston H. Hsu:
Transfer Learning for Video Recognition with Scarce Training Data.
Edith Elkind, Evangelos Markakis, Svetlana Obraztsova, Piotr Skowron:
Equilibria of Plurality Voting: Lazy and Truth-biased Voters.
Hassan Hawilo, Abdallah Shami, Maysam Mirahmadi, Rasool Asal:
NFV: State of the Art, Challenges and Implementation in Next Generation Mobile Networks (vEPC).
Constantinos Daskalakis, Alan Deckelbaum, Christos Tzamos:
Strong Duality for a Multiple-Good Monopolist.
Sicheng Xiong, Rómer Rosales, Yuanli Pei, Xiaoli Z. Fern:
Active Metric Learning from Relative Comparisons.
(Withdrawn) Joint Radar-Communications Performance Inner Bounds: Data versus Estimation Information Rates.
Abolfazl Asudeh, Gensheng Zhang, Naeemul Hassan, Chengkai Li, Gergely V. Záruba:
Crowdsourcing Pareto-Optimal Object Finding by Pairwise Comparisons.
Tomas Trescak, Carles Sierra, Simeon J. Simoff, Ramón López de Mántaras:
Dispute Resolution Using Argumentation-Based Mediation.
N. Rama, Meenakshi Lakshmanan:
An Algorithm Based on Empirical Methods, for Text-to-Tuneful-Speech Synthesis of Sanskrit Verse.
Pariya Kashfi, Robert Feldt, Agneta Nilsson, Richard Berntsson-Svensson:
Models for Integrating UX into Software Engineering Practice: an Industrial Validation.
Bruno Conejo, Nikos Komodakis, Sébastien Leprince, Jean-Philippe Avouac:
Speeding-up Graphical Model Optimization via a Coarse-to-fine Cascade of Pruning Classifiers.
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe:
On the Termination of Linear and Affine Programs over the Integers.
Camellia Ray, Jayanta Kumar Das, Pabitra Pal Choudhury:
On Analysis And Generation Of Biologically Important Boolean Functions.
Enrique Gabriel Baquela, Ana Carolina Olivera:
An OvS-MultiObjective Algorithm Approach for Lane Reversal Problem.
Valerio Cosentino, Javier Luis Cánovas Izquierdo, Jordi Cabot:
Three Metrics to Explore the Openness of GitHub projects.
Xianwen Wang, Chen Liu, Zhichao Fang, Wenli Mao:
From Attention to Citation, What and How Does Altmetrics Work?
Xiangrong Zeng, Mário A. T. Figueiredo:
The Ordered Weighted ℓ1 Norm: Atomic Formulation, Dual Norm, and Projections.
George Papageorgiou, Pantelis Bouboulis, Sergios Theodoridis, Konstantinos Themelis:
Robust Linear Regression Analysis - A Greedy Approach.
S. Ali Mirsoleimani, Aske Plaat, Jos Vermaseren, H. Jaap van den Herik:
Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi.
Giordano Da Lozzo, Vít Jelínek, Jan Kratochvíl, Ignaz Rutter:
Planar Embeddings with Small and Uniform Faces.


Nof Abuzainab, Sai Rakshit Vinnakota, Corinne Touati:
Coalition Formation Game for Cooperative Cognitive Radio Using Gibbs Sampling.
Yonathan Aflalo, Haim Brezis, Ron Kimmel:
On the optimality of shape and data representation in the spectral domain.
S. V. Kasmir Raja, V. Rajitha, Meenakshi Lakshmanan:
A Binary Schema and Computational Algorithms to Process Vowel-based Euphonic Conjunctions for Word Searches.
S. V. Kasmir Raja, V. Rajitha, Meenakshi Lakshmanan:
Computational Algorithms Based on the Paninian System to Process Euphonic Conjunctions for Word Searches.
Hany Kamal, Marco Picone, Michele Amoretti:
A Survey and Taxonomy of Urban Traffic Management: Towards Vehicular Networks.
Nyagudi Musandu Nyagudi:
Tackling the "Gremlins Paradox" : Autonomous Hot Swap Healing Protocol for Chronic Performance Problem Aversion in On-board Mission Critical Systems for Lethal Autonomous Weapons.
Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak:
Faster Existential FO Model Checking on Posets.
Manoj Gulati, Shobha Sundar Ram, Amarjeet Singh:
An In Depth Study into Using EMI Signatures for Appliance Identification.
Changhong Zhao, Michael Chertkov, Scott Backhaus:
Optimal Sizing of Voltage Control Devices for Distribution Circuit with Intermittent Load.
Scott Backhaus, Russell Bent, Daniel Bienstock, Michael Chertkov, Krishnamurthy Dvijotham:
Efficient Synchronization Stability Metrics for Fault Clearing.
Mohammad Fanaei, Amin Tahmasbi-Sarvestani, Yaser P. Fallah, Gaurav Bansal, Matthew C. Valenti, John B. Kenney:
Adaptive Content Control for Communication amongst Cooperative Automated Vehicles.
Aniket Bera, David Wolinski, Julien Pettré, Dinesh Manocha:
Real-time Crowd Tracking using Parameter Optimized Mixture of Motion Models.
Sreejith Sreekumar, Bikash Kumar Dey, Sibi Raj B. Pillai:
Distributed Rate Adaptation and Power Control in Fading Multiple Access Channels.
Kyeong Soo Kim:
Toward Fully-Shared Access: Designing ISP Service Plans Leveraging Excess Bandwidth Allocation.
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha:
Audit Games with Multiple Defender Resources.

Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
Fair and Square: Cake-cutting in Two Dimensions.

Redouan Korchiyne, Sidi Mohamed Farssi, Abderrahmane Sbihi, Rajaa Touahni, Mustapha Tahiri Alaoui:
A Combined Method Of Fractal And GLCM Features For MRI And CT Scan Images Classification.
Kehao Wang, Francis C. M. Lau, Lin Chen, Robert Schober:
Pricing Mobile Data Offloading: A Distributed Market Framework.
Andrei Marinescu, Ivana Dusparic, Adam Taylor, Vinny Cahill, Siobhán Clarke:
Decentralised Multi-Agent Reinforcement Learning for Dynamic and Uncertain Environments.
Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
Improving files availability for BitTorrent using a diffusion model.

Med Karim Abdmouleh, Ali Khalfallah, Med Salim Bouhlel:
A new Watermarking Technique for Medical Image using Hierarchical Encryption.
Ivo Herman, Dan Martinec, Zdenek Hurák, Michael Sebek:
Nonzero bound on Fiedler eigenvalue causes exponential growth of H-infinity norm of vehicular platoon.
Michail I. Schlesinger, Evgeniy Vodolazskiy, V. M. Yakovenko:
Similarity of closed polygonal curves in Frechet metric.
Ronald Hochreiter, Christoph Waldhauser:
The Role of Emotions in Propagating Brands in Social Networks.

Evgeniy Pluzhnik, Evgeny Nikulchev, Simon Payain:
Laboratory Test Bench for Research Network and Cloud Computing.
Petra Budíková, Jan Botorek, Michal Batko, Pavel Zezula:
DISA at ImageCLEF 2014 Revised: Search-based Image Annotation with DeCAF Features.
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: An Assurance Case Language for Architecture Models.
Robert Könighofer, Ronald Toegl, Roderick Bloem:
Automatic Error Localization for Software using Deductive Verification.
Rahmat Heidari, María M. Seron, Julio H. Braslavsky:
Ultimate boundedness of droop controlled Microgrids with secondary loops.
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
Johannes Lederer, Sergio Guadarrama:
Compute Less to Get More: Using ORC to Improve Sparse Filtering.
Andrea Tagarelli, Roberto Interdonato:
Lurking in Social Networks: Topology-based Analysis and Ranking Methods.
Charmgil Hong, Iyad Batal, Milos Hauskrecht:
A Mixtures-of-Experts Framework for Multi-Label Classification.
Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Shvartsman:
Doing-it-All with Bounded Work and Communication.
Fulvio Forni, Rodolphe Sepulchre:
Differential analysis of nonlinear systems: revisiting the pendulum example.
Andrzej Kulig, Stanislaw Drozdz, Jaroslaw Kwapien, Pawel Oswiecimka:
Modelling subtle growth of linguistic networks.
Hindayati Mustafidah, Sri Hartati, Retantyo Wardoyo, Agus Harjoko:
Selection of Most Appropriate Backpropagation Training Algorithm in Data Pattern Recognition.
Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray, Holger Paul Keeler:
Wireless networks appear Poissonian due to strong shadowing.
Ahmad Bilal Asghar, Stephen L. Smith:
Robot Monitoring for the Detection and Confirmation of Stochastic Events.
Holger Boche, Rafael F. Schaefer, H. Vincent Poor:
On the Continuity of the Secrecy Capacity of Compound and Arbitrarily Varying Wiretap Channels.
Katsuhiko Ishiguro, Issei Sato, Naonori Ueda:
Collapsed Variational Bayes Inference of Infinite Relational Model.

Hassan Tavakoli:
Source and Channel Optimal Rate LDPC Code Design for one Sender in BE-MAC with Source Correlation.
Nicolás Guarín-Zapata, Juan Gómez:
Evaluation of the Spectral Finite Element Method With the Theory of Phononic Crystals.
Xiao Zhang, Travis Martin, Mark E. J. Newman:
Identification of core-periphery structure in networks.
Patrice Y. Simard, David Maxwell Chickering, Aparna Lakshmiratan, Denis Xavier Charles, Léon Bottou, Carlos Garcia Jurado Suarez, David Grangier, Saleema Amershi, Johan Verwey, Jina Suh:
ICE: Enabling Non-Experts to Build Models Interactively for Large-Scale Lopsided Problems.
Zheng Zhang, Xiu Yang, Giovanni Marucci, Paolo Maffezzoni, Ibrahim M. Elfadel, George E. Karniadakis, Luca Daniel:
Stochastic Testing Simulator for Integrated Circuits and MEMS: Hierarchical and Sparse Techniques.
Zheng Zhang, Ibrahim M. Elfadel, Luca Daniel:
Uncertainty Quantification for Integrated Circuits: Stochastic Spectral Methods.
Zheng Zhang, Tarek A. El-Moselhy, Paolo Maffezzoni, Ibrahim M. Elfadel, Luca Daniel:
Efficient Uncertainty Quantification for the Periodic Steady State of Forced and Autonomous Circuits.
Ho-Lin Chen, David Doty, Dhiraj Holden, Chris Thachuk, Damien Woods, Chun-Tao Yang:
Fast algorithmic self-assembly of simple shapes using random agitation.
Zheng Zhang, Tarek A. El-Moselhy, Ibrahim M. Elfadel, Luca Daniel:
Calculation of Generalized Polynomial-Chaos Basis Functions and Gauss Quadrature Rules in Hierarchical Uncertainty Quantification.
Zheng Zhang, Tarek A. El-Moselhy, Ibrahim M. Elfadel, Luca Daniel:
Stochastic Testing Method for Transistor-Level Uncertainty Quantification Based on Generalized Polynomial Chaos.
Michael Bloodgood, K. Vijay-Shanker:
Taking into Account the Differences between Actively and Passively Acquired Data: The Case of Active Learning with Support Vector Machines for Imbalanced Datasets.
Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich:
Going Deeper with Convolutions.
Li Zeng, Renren Liu, Leo Yu Zhang, Yuansheng Liu, Kwok-Wo Wong:
Cryptanalyzing an image encryption algorithm based on scrambling and Veginere cipher.
Federico Rossi, Marco Pavone:
On the fundamental limitations of performance for distributed decision-making in robotic networks.
Loet Leydesdorff, Gohar Feroz Khan, Lutz Bornmann:
The Generation of Large Networks from Web-of-Science Data.



Angélique Dremeau, Christophe Schülke, Yingying Xu, Devavrat Shah:
Statistical inference with probabilistic graphical models.
Prachi Goyal, Pranabendu Misra, Fahad Panolan, Geevarghese Philip, Saket Saurabh:
Finding Even Subgraphs Even Faster.

Tapomayukh Bhattacharjee, James M. Rehg, Charles C. Kemp:
Inferring Object Properties from Incidental Contact with a Tactile Sensing Forearm.
Pratik Ghosal, Meghana Nasre, Prajakta Nimbhorkar:
Rank Maximal Matchings - Structure and Algorithms.
Filippo Maria Bianchi, Enrico Maiorino, Lorenzo Livi, Antonello Rizzi, Alireza Sadeghian:
An Agent-Based Algorithm exploiting Multiple Local Dissimilarities for Clusters Mining and Knowledge Discovery.
Martina Eikel, Christian Scheideler, Alexander Setzer:
RoBuSt: A Crash-Failure-Resistant Distributed Storage System.
Vincenzo Fioriti, Marta Chinnici:
Identifying sparse and dense sub-graphs in large graphs with a fast algorithm.
Binish Fatimah, Shiv Dutt Joshi:
Exact Least Squares Algorithm for Signal Matched Multirate Whitening Filter Bank: Part I.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems.
Agrima Seth, Deepak Mishra:
Comparative Study of Geometric and Image Based Modelling and Rendering Techniques.
Frédéric Gilbert, Paolo Simonetto, Faraz Zaidi, Fabien Jourdan, Romain Bourqui:
Communities and Hierarchical Structures in Dynamic Social Networks: Analysis and Visualization.
Bnar Faisal Daham, Ayad Ghany Ismaeel, Suha A. Abdual-Rahman:
TCP Performance for Kurd Messenger Application Using Bio-computing.
El-arbi El-alaouy, Khadija Rhoulami:
Survey Management Web Platform Applied to Morocco Household Survey Panel.
Binish Fatimah, Shiv Dutt Joshi:
Exact Least Squares Algorithm for Signal Matched Synthesis Filter Bank: Part II.
Shuxin Ouyang, Timothy M. Hospedales, Yi-Zhe Song, Xueming Li:
A Survey on Heterogeneous Face Recognition: Sketch, Infra-red, 3D and Low-resolution.

Ahmed Alkhateeb, Geert Leus, Robert W. Heath Jr.:
Limited Feedback Hybrid Precoding for Multi-User Millimeter Wave Systems.
Michael Bloodgood, K. Vijay-Shanker:
A Method for Stopping Active Learning Based on Stabilizing Predictions and the Need for User-Adjustable Stopping.
Hu Qin, Zizhen Zhang, Yubin Xie, Andrew Lim:
A Tabu Search Algorithm for the Multi-period Inspector Scheduling Problem.
Zhilin Zhang, Zhouyue Pi, Benyuan Liu:
TROIKA: A General Framework for Heart Rate Monitoring Using Wrist-Type Photoplethysmographic (PPG) Signals During Intensive Physical Exercise.
Ruxin Wang, Congying Han, Yanping Wu, Tiande Guo:
Fingerprint Classification Based on Depth Neural Network.
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller:
Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30.
Smriti Bhagat, Anthony Kim, S. Muthukrishnan, Udi Weinsberg:
The Shapley Value in Knapsack Budgeted Games.
Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
Pedestrian Detection with Spatially Pooled Features and Structured Ensemble Learning.
Ben Ruijl, Aske Plaat, Jos Vermaseren, H. Jaap van den Herik:
Why Local Search Excels in Expression Simplification.
Stefano Riverso, Francesca Boem, Giancarlo Ferrari-Trecate, Thomas Parisini:
Plug-and-play fault diagnosis and control-reconfiguration for a class of nonlinear large-scale constrained systems.
Basura Fernando, Amaury Habrard, Marc Sebban, Tinne Tuytelaars:
Subspace Alignment For Domain Adaptation.
Stefano Salsano, Nicola Blefari-Melazzi, Francesco Lo Presti, Giuseppe Siracusano, Pier Luigi Ventre:
Generalized Virtual Networking: an enabler for Service Centric Networking and Network Function Virtualization.
Michael James Scott, Gheorghita Ghinea, Ian Hamilton:
Promoting Inclusive Design Practice at the Global Game Jam: A Pilot Evaluation.
Paul Vickers, Christopher Laing, Mohamed Debashi, Tom Fairfax:
Sonification Aesthetics and Listening for Network Situational Awareness.


Mohammed El-Kebir, Gunnar W. Klau:
Solving the Maximum-Weight Connected Subgraph Problem to Optimality.
Scott MacLean, George Labahn:
A Bayesian model for recognizing handwritten mathematical expressions.
He Hao, Borhan Molazem Sanandaji, Kameshwar Poolla, Tyrone L. Vincent:
Potentials and Economics of Residential Thermal Loads Providing Regulation Reserve.
Jian Fang, Shaobo Lin, Zongben Xu:
Learning and approximation capability of orthogonal super greedy algorithm.
Andreas Cord-Landwehr, Alexander Mäcker, Friedhelm Meyer auf der Heide:
Quality of Service in Network Creation Games.

Sebastian Abshoff, Andreas Cord-Landwehr, Daniel Jung, Alexander Skopalik:
Multilevel Network Games.
Tobias Weyand, Bastian Leibe:
Visual Landmark Recognition from Internet Photo Collections: A Large-Scale Evaluation.
Huasha Zhao, Biye Jiang, John F. Canny:
SAME but Different: Fast and High-Quality Gibbs Parameter Estimation.
Ross B. Girshick, Forrest N. Iandola, Trevor Darrell, Jitendra Malik:
Deformable Part Models are Convolutional Neural Networks.

Vassilis Kolias, Ioannis Anagnostopoulos, Eleftherios Kayafas:
Exploratory Analysis of a Terabyte Scale Web Corpus.
Michael J. Bannister, William E. Devanny, Michael T. Goodrich, Joseph A. Simons, Lowell Trott:
Windows into Geometric Events: Data Structures for Time-Windowed Querying of Temporal Point Sets.
Wei Zhou, George Labahn:
Fast and deterministic computation of the determinant of a polynomial matrix.
Ahmad Biniaz, Anil Maheshwari, Michiel H. M. Smid:
Higher-Order Triangular-Distance Delaunay Graphs: Graph-Theoretical Properties.
Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications.
Víctor Manuel Silva García, Rolando Flores-Carapia, Carlos Rentería-Márquez, Benjamín Luna Benoso, Cesar Antonio Jiménez Vázquez:
Images encryption using AES and variable permutations.
Hanzhang Hu, Alexander Grubb, J. Andrew Bagnell, Martial Hebert:
Efficient Feature Group Sequencing for Anytime Linear Prediction.
Alexander Kalinin, George Savchenko:
Using crowdsourcing system for creating site-specific statistical machine translation engine.
Liangyue Li, Hanghang Tong, Nan Cao, Kate Ehrlich, Yu-Ru Lin, Norbou Buchler:
Replacing the Irreplaceable: Fast Algorithms for Team Member Recommendation.
Mohammad Zamani, Iman Shames, Valery A. Ugrinovskii:
Minimum-Energy Distributed Consensus of Uncertain Agents.
Guanghui Wen, Valery A. Ugrinovskii:
Distributed Consensus of Linear Multi-Agent Systems with Switching Directed Topologies.
Minho Yang, Sang-Woon Jeon, Dong Ku Kim:
Linear Degrees of Freedom of MIMO Broadcast Channels with Reconfigurable Antennas in the Absence of CSIT.
Asif Imran, Nadia Nahar, Kazi Sakib:
Watchword-Oriented and Time-Stamped Algorithms for Tamper-Proof Cloud Provenance Cognition.
Asif Imran, Emon Kumar Dey, Kazi Sakib:
Active-Threaded Algorithms for Provenance Cognition in the Cloud preserving Low Overhead and Fault Tolerance.
Eric W. Tramel, Santhosh Kumar, Andrei Giurgiu, Andrea Montanari:
Statistical Estimation: From Denoising to Sparse Regression and Hidden Cliques.
Takuro Fukunaga:
Approximating the generalized terminal backup problem via half-integral multiflow relaxation.
Yanchao Lu, Donghong Wu, Bingsheng He, Xueyan Tang, Jianliang Xu, Minyi Guo:
Rank-Aware Dynamic Migrations and Adaptive Demotions for DRAM Power Management.
Mohamed Amir, Tamer Khattab, Tarek M. Elfouly, Amr Mohamed:
On the degrees of freedom of the MIMO Wiretap and MIMO broadcast channels with unknown eavesdroppers.
Jaeseok Lee, Suhyuk Kwon, Jun Won Choi, Byonghyo Shim:
Greedy Sparse Signal Recovery with Tree Pruning.
Predrag R. Jelenkovic, Evangelia D. Skiani:
Instability of Sharing Systems in the Presence of Retransmissions.
Samuel Rönnqvist, Xiaolu Wang, Peter Sarlin:
Interactive Visual Exploration of Topic Models using Graphs.
Leslie Ann Goldberg, Heng Guo:
The complexity of approximating complex-valued Ising and Tutte partition functions with applications to quantum simulation.
Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober:
Multiple-access Fading Channel with Wireless Power Transfer and Energy Harvesting.
Ebru Aydin Gol, Ezio Bartocci, Calin Belta:
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems.
Steen Vester:
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models.
Zhaohong Deng, Yizhang Jiang, Fulai Chung, Kup-Sze Choi, Shitong Wang:
Transfer Prototype-based Fuzzy Clustering.
Stefan Schulte, Christian Janiesch, Srikumar Venugopal, Ingo Weber, Philipp Hoenisch:
Elastic Business Process Management: State of the Art and Open Challenges for BPM in the Cloud.
Christian Lameiro, Ignacio Santamaría, Peter J. Schreier:
Benefits of improper signaling for underlay cognitive radio.
Manuel López-Ibáñez, Arnaud Liefooghe, Sébastien Vérel:
Local Optimal Sets and Bounded Archiving on Multi-objective NK-Landscapes with Correlated Objectives.
Qi Wei, José M. Bioucas-Dias, Nicolas Dobigeon, Jean-Yves Tourneret:
Hyperspectral and Multispectral Image Fusion based on a Sparse Representation.
Ahmed Badawy, Tamer Khattab, Daniele Trinchero, Tarek M. Elfouly, Amr Mohamed:
A Simple AoA Estimation Scheme.
Bilel Derbel, Dimo Brockhoff, Arnaud Liefooghe, Sébastien Vérel:
On the Impact of Multiobjective Scalarizing Functions.
Ryo Asai, Andrey Vladimirov:
Intel Cilk Plus for Complex Parallel Algorithms: "Enormous Fast Fourier Transform" (EFFT) Library.
Elisabetta Bevacqua, Igor Stankovic, Ayoub Maatallaoui, Alexis Nédélec, Pierre De Loor:
Effects of Coupling in Human-Virtual Agent Body Interaction.
Surender Kumar, Manish Prateek, Bharat Bhushan:
Distance based (DBCP) Cluster Protocol for Heterogeneous Wireless Sensor Network.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Attributes for Causal Inference in Longitudinal Observational Databases.
Xi Peng, Rui Yan, Bo Zhao, Huajin Tang, Zhang Yi:
Fast Low-rank Representation based Spatial Pyramid Matching for Image Classification.
Zoubeir Mlika, Mathew Goonewardena, Wessam Ajib, Halima Elbiaze:
Femtocell Association in Two-Tier Cellular Networks: Complexity and Efficient Algorithms.
Amir Globerson, Tim Roughgarden, David Sontag, Cafer Yildirim:
Tight Error Bounds for Structured Prediction.
Ying Long, Xingjian Liu, Jiangping Zhou, Yizhen Gu:
Profiling underprivileged residents with mid-term public transit smartcard data of Beijing.
Kay Noyen, Dirk Volland, Dominic Wörner, Elgar Fleisch:
When Money Learns to Fly: Towards Sensing as a Service Applications Using Bitcoin.
Jingbo Liu, Paul W. Cuff, Sergio Verdú:
Key Capacity for Product Sources with Application to Stationary Gaussian Processes.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Incremental Bounded Model Checking for Embedded Software (extended version).
Hamdi Joudeh, Bruno Clerckx:
AMMSE Optimization for Multiuser MISO Systems with Imperfect CSIT and Perfect CSIR.
Tanmay Sinha, Nan Li, Patrick Jermann, Pierre Dillenbourg:
Capturing "attrition intensifying" structural traits from didactic interaction sequences of MOOC learners.
Nipun Batra, Manoj Gulati, Puneet Jain, Kamin Whitehouse, Amarjeet Singh:
Bits and Watts: Improving energy disaggregation performance using power line communication modems.
Jack Kelly, Nipun Batra, Oliver Parson, Haimonti Dutta, William J. Knottenbelt, Alex Rogers, Amarjeet Singh, Mani B. Srivastava:
NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets.
Xiaolin Cao, Yessica Saez, G. Pesti, Laszlo B. Kish:
On KLJN-based secure key distribution in vehicular communication networks.
Ghaith Hattab, Mohamed Ibnkahla:
Multiband Spectrum Access: Great Promises for Future Cognitive Radio Networks.
Lei Zhang, Yunlong Cai, Rodrigo C. de Lamare, Minjian Zhao:
Robust Multi-Branch Tomlinson-Harashima Precoding in Cooperative MIMO Relay Systems.
Di Zhang, Zhenyu Zhou, Takuro Sato:
An Energy Efficiency policy for Communications with C-RAN, ICN and Transition Smooth.
Shahar Z. Kovalsky, Daniel Glasner, Ronen Basri:
A Global Approach for Solving Edge-Matching Puzzles.
Kiran Garimella, Ingmar Weber, Sonia Dal Cin:
From "I love you babe" to "leave me alone" - Romantic Relationship Breakups on Twitter.
Qizhi Fang, Bo Li, Xiaoming Sun, Jia Zhang, Jialin Zhang:
Computing the Least-core and Nucleolus for Threshold Cardinality Matching Games.
Matanya B. Horowitz, Joel W. Burdick:
Optimal Navigation Functions for Nonlinear Stochastic Systems.
Jun Zhao, Osman Yagan, Virgil D. Gligor:
On the strengths of connectivity and robustness in general random intersection graphs.
Benoît Darties, Nicolas Gastineau, Olivier Togni:
Completely Independent Spanning Trees in Some Regular Graphs.
Jerry R. Van Aken:
A High-Level Model of Neocortical Feedback Based on an Event Window Segmentation Algorithm.
Muhammad Ghifary, W. Bastiaan Kleijn, Mengjie Zhang:
Domain Adaptive Neural Networks for Object Recognition.
Songtao Lu, Zhengdao Wang:
Joint Optimization of Power Allocation and Training Duration for Uplink Multiuser MIMO Communications.
Tyler Ward:
The Information Theoretically Efficient Model (ITEM): A model for computerized analysis of large datasets.
Haris Aziz, Simon Mackenzie, Lirong Xia, Chun Ye:
Structure and complexity of ex post efficient random assignments.
Adway Mitra, Soma Biswas, Chiranjib Bhattacharyya:
Temporally Coherent Chinese Restaurant Process for Discovery of Persons and Corresponding Tracklets from User-generated Videos.
Hengjia Wei, Hui Zhang, Mingzhi Zhu, Gennian Ge:
Optimal Ternary Constant-Composition Codes with Weight Four and Distance Six.
Antonis Sidiropoulos, Dimitrios Katsaros, Yannis Manolopoulos:
Identification of Influential Scientists vs. Mass Producers by the Perfectionism Index.
(Withdrawn) Context-free characterization of Indexed Languages.
Ines Klimann, Matthieu Picantin, Dmytro Savchuk:
A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group.
Maximilien Gadouleau, Adrien Richard, Søren Riis:
Fixed points of Boolean networks, guessing graphs, and coding theory.
Aldo U. Zgraggen, Lorenzo Fagiano, Manfred Morari:
Automatic Retraction and Full Cycle Operation for a Class of Airborne Wind Energy Generators.
Cewu Lu, Hao Chen, Qifeng Chen, Hei Law, Yao Xiao, Chi-Keung Tang:
1-HKUST: Object Detection in ILSVRC 2014.
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit:
A Benchmark Suite for Template Detection and Content Extraction.
Chandan K. Dubey, Thomas Holenstein:
Computing the $p$-adic Canonical Quadratic Form in Polynomial Time.
Ricardo Martins, João Filipe Ferreira, Jorge Dias:
Touch attention Bayesian models for robotic active haptic exploration of heterogeneous surfaces.
Alexandr Klimchik, Dmitry Bondarenko, Anatol Pashkevich, Sébastien Briot, Benoît Furet:
Compliance error compensation in robotic-based milling.
Alexandr Klimchik, Yier Wu, Stéphane Caro, Benoît Furet, Anatol Pashkevich:
Accuracy Improvement of Robot-Based Milling Using an Enhanced Manipulator Model.
Elisabetta Bergamini, Henning Meyerhenke, Christian Staudt:
Approximating Betweenness Centrality in Large Evolving Networks.

Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Nikos Parotsidis:
2-Vertex Connectivity in Directed Graphs.
George Kesidis, Douglas Mercer, Christopher Griffin, Serge Fdida:
Roaming charges for customers of cellular-wireless entrant and incumbent providers.




Bartlomiej Placzek:
Neighborhood Selection and Rules Identification for Cellular Automata: A Rough Sets Approach.
Konstantinos Georgiou, Edward Lee:
Lift & Project Systems Performing on the Partial-Vertex-Cover Polytope.
Thomas Rothvoß:
A direct proof for Lovett's bound on the communication complexity of low rank matrices.
Bassam AlKindy, Jean-François Couchot, Christophe Guyeux, Arnaud Mouly, Michel Salomon, Jacques M. Bahi:
Finding the Core-Genes of Chloroplasts.


Prosenjit Bose, Rolf Fagerberg, André van Renssen, Sander Verdonschot:
Optimal local routing on Delaunay triangulations defined by empty equilateral triangles.

(Withdrawn) Ensemble Sensing on Smart Werables for a better Telehealth System.

Rashid Khogali:
A non-linear learning & classification algorithm that achieves full training accuracy with stellar classification accuracy.
Bo Han, Bo He, Tingting Sun, Mengmeng Ma, Amaury Lendasse:
HSR: L1/2 Regularized Sparse Representation for Fast Face Recognition using Hierarchical Feature Selection.
Yongming Li, Zhanyou Ma:
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
Manas Agarwal, Rishi Ranjan Singh, Shubham Chaudhary, Sudarshan Iyengar:
Betweenness Ordering Problem : An Efficient Non-Uniform Sampling Technique for Large Graphs.
Moo K. Chung, Anqi Qiu, Seongho Seo, Houri K. Vorperian:
Unified Heat Kernel Regression for Diffusion, Kernel Smoothing and Wavelets on Manifolds and Its Application to Mandible Growth Modeling in CT Images.
Jürgen Cito, Philipp Leitner, Thomas Fritz, Harald C. Gall:
The Making of Cloud Applications An Empirical Study on Software Development for the Cloud.
Pierre-Yves Chevalier, Julien M. Hendrickx, Raphaël M. Jungers:
Efficient Algorithms for the Consensus Decision Problem.
Bilel Moulahi, Lynda Tamine, Sadok Ben Yahia:
Learning to Match for Multi-criteria Document Relevance.

Markus Chimani, Joachim Spoerhase:
Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees.
Taher Shahbazi Mirzahasanloo:
A Single-Processor Approach to Speech Processing Pipeline of Bilateral Cochlear Implants.
Mohd Anuar Mat Isa, Habibah Hashim:
Adversary Model: Adaptive Chosen Ciphertext Attack with Timing Attack.
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems.

Christian Berger, Holger Rendel, Bernhard Rumpe, Carsten Busse, Thorsten Jablonski, Fabian Wolf:
Product Line Metrics for Legacy Software in Practice.
Christian Berger, Holger Rendel, Bernhard Rumpe:
Measuring the Ability to Form a Product Line from Existing Products.
Fred W. Rauskolb, Kai Berger, Christian Lipski, Marcus A. Magnor, Karsten Cornelsen, Jan Effertz, Thomas Form, Fabian Graefe, Sebastian Ohl, Walter Schumacher, Jörn-Marten Wille, Peter Hecker, Tobias Nothdurft, Michael Doering, Kai Homeier, Johannes Morgenroth, Lars C. Wolf, Christian Basarke, Christian Berger, Tim Gülke, Felix Klose, Bernhard Rumpe:
Caroline: An Autonomously Driving Vehicle for Urban Environments.
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Variability within Modeling Language Definitions.
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling.
Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects.
Florian Fieber, Nikolaus Regnat, Bernhard Rumpe:
Assessing usability of model driven development in industrial projects.
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe:
System Model-Based Definition of Modeling Language Semantics.
Alexej Beresnev, Bernhard Rumpe, Frank Schoven:
Automated Testing of Graphical Models in Heterogeneous Test Environments.
Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
Manifesto - Model Engineering for Complex Systems.


Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills:
The Amsterdam Manifesto on OCL.

Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann:
A New Skill Based Robot Programming Language Using UML/P Statecharts.
David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel:
Retrofitting Security into a Web-Based Information System.


Stefan Schmidt, Holger Krahn, Stefan Fischer, Dietmar Wätjen:
A Security Architecture for Mobile Wireless Sensor Networks.
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer:
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
Dan Turk, Robert B. France, Bernhard Rumpe:
Assumptions Underlying Agile Software Development Processes.
Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt:
Model Transformations in Practice Workshop (MTiP).
Holger Krahn, Bernhard Rumpe:
Towards Enabling Architectural Refactorings through Source Code Annotations.
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
Towards a System Model for UML. The Structural Data Model.
Borislav Gajanovic, Hans Grönniger, Bernhard Rumpe:
Model Driven Testing of Time Sensitive Distributed Systems.
Holger Krahn, Bernhard Rumpe, Steven Völkel:
Roles in Software Development using Domain Specific Modeling Languages.
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
UML 2 Semantics Symposium: Formal Semantics for UML.
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
An Algebraic View on the Semantics of model Composition.
María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe:
System-Model-Based Simulation of UML Models.
Holger Krahn, Bernhard Rumpe, Steven Völkel:
Integrated Definition of Abstract and Concrete Syntax for Textual Languages.
Holger Krahn, Bernhard Rumpe, Steven Völkel:
Efficient Editor Generation for Compositional DSLs in Eclipse.
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard Rumpe:
View-Based Modeling of Function Nets.
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe:
Modelling Automotive Function Nets with Views for Features, Variants, and Modes.
Hans Grönniger, Holger Krahn, Claas Pinkernell, Bernhard Rumpe:
Modeling Variants of Automotive Systems using Views.
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe:
View-Centric Modeling of Automotive Logical Architectures.
Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
MontiCore: A Framework for the Development of Textual Domain Specific Languages.
Holger Krahn, Bernhard Rumpe, Steven Völkel:
MontiCore: Modular Development of Textual Domain Specific Languages.
Dirk Reiß, Bernhard Rumpe, Marvin Schulze-Quester, Mark Stein:
Evolving and Implanting Web-based E-Government Systems in Universities.

Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).

Anant P. Bhardwaj, Dave Luciano, Scott R. Klemmer:
Redprint: Integrating API specific "instant example" and "instant documentation" display interface in IDEs.
Aashiha Priyadarshni L.:
Heterogeneous Multi core processors for improving the efficiency of Market basket analysis algorithm in data mining.
Anant P. Bhardwaj, Juho Kim, Steven Dow, David R. Karger, Sam Madden, Rob Miller, Haoqi Zhang:
Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling.
Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games.

Ifeoma Nwogu, Goker Erdogan, Ilker Yildirim, Robert A. Jacobs:
A Concept Learning Approach to Multisensory Object Perception.


Dmitry Zinoviev, Dan Stefanescu, Hamid Benbrahim, Greta Meszoely:
Mitigation of Delayed Management Costs in Transaction-Oriented Systems.
Rick Zhang, Marco Pavone:
A Queueing Network Approach to the Analysis and Control of Mobility-On-Demand Systems.
Travis Gagie, Aleksi Hartikainen, Juha Kärkkäinen, Gonzalo Navarro, Simon J. Puglisi, Jouni Sirén:
Document Counting in Practice.
Siting Ren, Sheng Gao:
Improving Cross-domain Recommendation through Probabilistic Cluster-level Latent Factor Model-Extended Version.
Jinyuan Chen, Sheng Yang, Ayfer Özgür, Andrea Goldsmith:
Achieving Full DoF in Heterogeneous Parallel Broadcast Channels with Outdated CSIT.
Hossein Rahmani, Arif Mahmood, Du Q. Huynh, Ajmal S. Mian:
Histogram of Oriented Principal Components for Cross-View Action Recognition.
Fadi A. Zaraket, Mohamad Noureddine:
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers.
Shang Shang, Paul W. Cuff, Pan Hui, Sanjeev R. Kulkarni:
An Upper Bound on the Convergence Time for Quantized Consensus of Arbitrary Static Graphs.
Shang Shang, Tiance Wang, Paul W. Cuff, Sanjeev R. Kulkarni:
The Application of Differential Privacy for Rank Aggregation: Privacy and Accuracy.




Saad Chakkor, Mostafa Baghouri, Abderrahmane Hajraoui:
Performance Analysis of Faults Detection in Wind Turbine Generator Based on High-Resolution Frequency Estimation Methods.
Saad Chakkor, El Ahmadi Cheikh, Mostafa Baghouri, Abderrahmane Hajraoui:
Comparative Performance Analysis of Wireless Communication Protocols for Intelligent Sensors and Their Applications.


Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe:
UML-F: A Modeling Language for Object-Oriented Frameworks.
Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills:
Defining UML Family Members Using Prefaces.

Haim Kilov, Bernhard Rumpe:
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).


Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Developing the UML as a Formal Modelling Notation.
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Towards a Precise Semantics for Object-Oriented Modeling Techniques.
Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe:
BMW-ROOM An Object-Oriented Method for ASCET.
Edouard Bonnet, Bruno Escoffier, Vangelis Th. Paschos, Georgios Stamoulis:
On the approximation of maximum $k$-vertex cover in bipartite graphs.
Sandor Soos:
Knowledge discovery via multidimensional science maps: the case of the Species Problem.
Amit Dhurandhar, Karthik S. Gurumoorthy:
Symmetric Submodular Clustering with Actionable Constraint.
Mathieu Hoyrup, Cristobal Rojas:
On the information carried by programs about the objects they compute.

Ashutosh Nayyar, Matias Negrete-Pincetic, Kameshwar Poolla, Pravin Varaiya:
Rate-constrained Energy Services: Allocation Policies and Market Decisions.
Tiance Wang, Pan Hui, Sanjeev R. Kulkarni, Paul W. Cuff:
Cooperative Caching based on File Popularity Ranking in Delay Tolerant Networks.
Kathrin Baker, Michael Bloodgood, Chris Callison-Burch, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Scott Miller, Christine D. Piatko:
Semantically-Informed Syntactic Machine Translation: A Tree-Grafting Approach.
Mo Dong, Qingxi Li, Doron Zarchy, Brighten Godfrey, Michael Schapira:
PCC: Re-architecting Congestion Control for Consistent High Performance.
Saad Chakkor, El Ahmadi Cheikh, Mostafa Baghouri, Abderrahmane Hajraoui:
Efficiency Evaluation Metrics for Wireless Intelligent Sensors Applications.
Christian Basarke, Christian Berger, Bernhard Rumpe:
Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence.
Yang Liu, Xuanxuan Lu, Tiffany Jing Li:
Joint Transceiver Design for Noisy-Sensing Decision-Fusion Networks through Block Coordinate Descent Optimization.
Jayanta Kumar Das, Ranjeet Kumar Rout, Pabitra Pal Choudhury:
Analysis of Boolean Functions based on Interaction Graphs and their influence in System Biology.
Khoa D. Nguyen, Nick Letzepis, Albert Guillen i Fabregas, Lars K. Rasmussen:
Causal/Predictive Imperfect Channel State Information in Block-Fading Channels.
Zhuotun Zhu, Xinggang Wang, Song Bai, Cong Yao, Xiang Bai:
Deep Learning Representation using Autoencoder for 3D Shape Retrieval.
Liang Wu, Hui Xiong, Liang Du, Bo Liu, Guandong Xu, Yong Ge, Yanjie Fu, Yuanchun Zhou, Jianhui Li:
Heterogeneous Metric Learning with Content-based Regularization for Software Artifact Retrieval.
Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli:
Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem.
Tejas Bodas, Ayalvadi Ganesh, D. Manjunath:
Tolls and Welfare Optimization for Multiclass Traffic in Multiqueue Systems.


Dixie F. Falcunit Jr., Virgilio P. Sison:
Cyclic Codes over the Matrix Ring $M_2(\FFF_p)$ and Their Isometric Images over $\FFF_{p^2}+u\FFF_{p^2}$.
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and Complete Object Interaction Descriptions.
Cornel Klein, Christian Prehofer, Bernhard Rumpe:
Feature Specification and Refinement with State Transition Diagrams.
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner:
Towards a Formalization of the Unified Modeling Language.
Cornel Klein, Bernhard Rumpe, Manfred Broy:
A stream-based mathematical model for distributed information processing systems - SysLab system model.


Klaus Bergner, Bernhard Rumpe:
Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks.
David A. Karpuk, Camilla Hollanti:
Multi-Dimensional and Non-Uniform Constellation Optimization via the Special Orthogonal Group.
David A. Karpuk, Camilla Hollanti, Amaro Barreal:
Node Repair for Distributed Storage Systems over Fading Channels.
Jisun An, Daniele Quercia, Jon Crowcroft:
Partisan Sharing: Facebook Evidence and Societal Consequences.
Gregory Z. Gutin, Stefan Kratsch, Magnus Wahlström:
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem.
Daniel D. Dasig Jr.:
A Study on the Sectors of Economy serviced by Pre-industry System Developers among companies in Metro Manila: A Tool for Business Reengineering.
Antonio Campello, Vinay A. Vaishampayan:
Reliability of Erasure Coded Storage Systems: A Geometric Approach.
Ilaria Brunetti, Rachid El Azouzi, Eitan Altman:
Altruism in groups: an evolutionary games approach.
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh:
Stream quantiles via maximal entropy histograms.


Atilim Gunes Baydin, Barak A. Pearlmutter:
An Analysis of Publication Venues for Automatic Differentiation Research.
Benoit Baudry, Martin Monperrus:
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond.
Mo Ghorbanzadeh, Eugene Visotsky, Weidong Yang, Prakash Moorut, T. Charles Clancy:
Radar in-Band Interference Effects on Macrocell LTE Uplink Deployments in the U.S. 3.5 GHz Band.
Zhengjun Cao, Zhenfu Cao:
On Shor's Factoring Algorithm with More Registers and the Problem to Certify Quantum Computers.
Vinod Kulathumani, Ken Parker, Mukundan Sridharan, Anish Arora:
Census: A protocol for visiting all nodes in MANETs using biased random walks.
Vinod Kulathumani, Mukundan Sridharan, Anish Arora, Bryan Lemon, Ken Parker:
On the repair time scaling wall for MANETs.
Tofigh Naghibi, Sarah Hoffmann, Beat Pfister:
A Semidefinite Programming Based Search Strategy for Feature Selection with Mutual Information Measure.
David H. Wolpert, Joshua A. Grochow, Eric Libby, Simon DeDeo:
A framework for optimal high-level descriptions in science and engineering - preliminary report.

Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn:
A Higher-order Framework for Decision Problems and Games.
Sariel Har-Peled, Benjamin Raichel:
Net and Prune: A Linear Time Algorithm for Euclidean Distance Problems.
Jérémie Boulanger, Salem Said, Nicolas Le Bihan, Jonathan H. Manton:
Filtering from Observations on Stiefel Manifolds.
Rafah El-Khatib, Jean Barbier, Ayaka Sakata, Rüdiger L. Urbanke:
Error correcting codes and spatial coupling.
Jiannan Wang, Guoliang Li, Tim Kraska, Michael J. Franklin, Jianhua Feng:
The Expected Optimal Labeling Order Problem for Crowdsourced Joins and Entity Resolution.
Zhongbin Li, Wenzhong Shi, Qunming Wang, Zelang Miao:
Extracting man-made objects from remote sensing images via fast level set evolutions.
Cédric Join, Cyril Voyant, Michel Fliess, Marc Muselli, Marie-Laure Nivet, Christophe Paoli, Frédéric Chaxel:
Short-term solar irradiance and irradiation forecasts via different time series techniques: A preliminary study.
Hernán E. Aguirre, Arnaud Liefooghe, Sébastien Vérel, Kiyoshi Tanaka:
An Analysis on Selection for High-Resolution Approximations in Many-Objective Optimization.
Mohamed Elhoseiny, Ahmed M. Elgammal:
Generalized Twin Gaussian Processes using Sharma-Mittal Divergence.





Krishna Chaitanya A, Utpal Mukherji, Vinod Sharma:
Algorithms for Stochastic Games on Interference Channels.
Basura Fernando, Tatiana Tommasi, Tinne Tuytelaars:
Lost in the Past: Recognizing Locations Over Large Time Lags.
Amirpasha Shirazinia, Subhrakanti Dey:
Optimized Compressed Sensing Matrix Design for Noisy Communication Channels.
Carlo Galiotto, Ismael Gomez-Miguelez, Nicola Marchetti, Linda Doyle:
Effect of LOS/NLOS Propagation on Area Spectral Efficiency and Energy Efficiency of Small-Cells.
Arun S. Maiya, Robert M. Rolfe:
Topic Similarity Networks: Visual Analytics for Large Document Sets.



Ekaterina Ovchinnikova, Vladimir Zaytsev, Suzanne Wertheim, Ross Israel:
Generating Conceptual Metaphors from Proposition Stores.
Rajesh Sharma, Matteo Magnani, Danilo Montesi:
Missing data in multiplex networks: a preliminary study.
Roberto Castañeda Lozano, Christian Schulte:
Survey on Combinatorial Register Allocation and Instruction Scheduling.
Marcelo Segura, Somasundaram Niranjayan, Hossein Hashemi, Andreas F. Molisch:
Experimental Demonstration of Nanosecond Accuracy Wireless Network Synchronization.
Matthias Kümmerer, Thomas Wallis, Matthias Bethge:
How close are we to understanding image-based saliency?
Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker:
Verifying Isolation Properties in the Presence of Middleboxes.
Eduardo Alberto Canale, Pablo Romero, Gerardo Rubino:
Irrelevant Components and Exact Computation of the Diameter Constrained Reliability.



Zhe Yao, Vincent Gripon, Michael G. Rabbat:
Combating Corrupt Messages in Sparse Clustered Associative Memories.
Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz:
Similarity-based matching meets Malware Diversity.

Chinmoy Dutta, Gopal Pandurangan, Rajmohan Rajaraman, Zhifeng Sun, Emanuele Viola:
Global Information Sharing under Network Dynamics.

Jim Jing-Yan Wang, Yi Wang, Shiguang Zhao, Xin Gao:
Maximum mutual information regularized classification.
Marco Crocco, Marco Cristani, Andrea Trucco, Vittorio Murino:
Audio Surveillance: a Systematic Review.
(Withdrawn) On Ideal Lattices and Gröbner Bases.
Yue Wu, Steven C. H. Hoi, Tao Mei:
Massive-scale Online Feature Selection for Sparse Ultra-high Dimensional Data.
Gregory E. Newstadt, Beipeng Mu, Dennis L. Wei, Jonathan P. How, Alfred O. Hero III:
Resource-Constrained Adaptive Search for Sparse Multi-Class Targets with Varying Importance.
Shervin Minaee, AmirAli Abdolrashidi:
On The Power of Joint Wavelet-DCT Features for Multispectral Palmprint Recognition.
Zekeriya Uykan, Riku Jäntti:
Input-Output Clustering Criterion (IOCC) for Optimizing Distributed Antenna Locations.
Kamil Adamczewski, Szymon Matejczyk, Tomasz P. Michalak:
How good is the Shapley value-based approach to the influence maximization problem?
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker:
Abstracting an operational semantics to finite automata.
Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty:
Exploring the Impact of Wind Penetration on Power System Equilibrium Using a Numerical Continuation Approach.
Junil Choi, David James Love, D. Richard Brown III, Mireille Boutin:
Distributed Reception with Spatial Multiplexing: MIMO Systems for the Internet of Things.

Olesya Mryglod, Ralph Kenna, Yurij Holovatch:
Is your EPL attractive? Classification of publications through download dynamics.
Nallakumar R., Sruthi Priya K. S.:
A Survey on Deadline Constrained Workflow Scheduling Algorithms in Cloud Environment.
Weijia Han, Huiyan Sang, Min Sheng, Jiandong Li, Shuguang Cui:
Cognitive Learning of Statistical Primary Patterns via Bayesian Network.
Baharan Mirzasoleiman, Ashwinkumar Badanidiyuru, Amin Karbasi, Jan Vondrák, Andreas Krause:
Lazier Than Lazy Greedy.
Arjun Jain, Jonathan Tompson, Yann LeCun, Christoph Bregler:
MoDeep: A Deep Learning Framework Using Motion Features for Human Pose Estimation.
Darío Rodríguez-Aseretto, Christian Schaerer, Daniele de Rigo:
Architecture of Environmental Risk Modelling: for a faster and more robust response to natural disasters.
Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
Modeling In vivo Wireless Path Loss.
Gerardo Berbeglia, Peter Sloan, Adrian Vetta:
Bounds on the Profitability of a Durable Good Monopolist.
Mingming Chen, Jichang Zhao, Xiao Liang, Ke Xu:
Weighted Shortest Path Models: A Revisit to the Simulation of Internet Routing.
Yanchuan Sim, Bryan R. Routledge, Noah A. Smith:
The Utility of Text: The Case of Amicus Briefs and the Supreme Court.
Chacko John Deepu, Xiaoyang Zhang, Wen-Sin Liew, David Liang Tai Wong, Yong Lian:
An ECG-on-Chip with 535-nW/Channel Integrated Lossless Data Compressor for Wireless Sensors.
Chacko John Deepu, Xiaoyuan Xu, Xiaoyang Zou, Libin Yao, Yong Lian:
An ECG-on-Chip for Wearable Cardiac Monitoring Devices.
Chacko John Deepu, Zhihao Chen, Ju Teng Teo, Soon Huat Ng, Xiefeng Yang, Yong Lian:
A Smart Cushion for Real-Time Heart Rate Monitoring.
Daniel Raumer, Christoph Fuchs, Georg Groh:
Reaching Consensus Among Mobile Agents: A Distributed Protocol for the Detection of Social Situations.
Guido Schwenk, Sebastian Bach:
Detecting Behavioral and Structural Anomalies in MediaCloud Applications.
J. Gerard Wolff:
Medical diagnosis as pattern recognition in a framework of information compression by multiple alignment, unification and search.

Daniel Dadush, Oded Regev, Noah Stephens-Davidowitz:
On the Closest Vector Problem with a Distance Guarantee.
Ward Jaradat, Alan Dearle, Adam Barker:
Workflow Partitioning and Deployment on the Cloud using Orchestra.
Shixin Luo, Jie Xu, Rui Zhang, Teng Joon Lim:
On Capacity Region of MISO Broadcast Channel for SWIPT.
Michal Kleinbort, Oren Salzman, Dan Halperin:
Efficient high-quality motion planning by fast all-pairs r-nearest-neighbors.
Zoran Utkovski, Tome Eftimov, Petar Popovski:
Random Access Protocols with Collision Resolution in a Noncoherent Setting.
Michael A. Bekos, Stephen G. Kobourov, Michael Kaufmann, Sankar Veeramoni:
The Maximum k-Differential Coloring Problem.
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket:
From High-Level Modeling Towards Efficient and Trustworthy Circuits.
Yelena Mejova, Amy X. Zhang, Nicholas Diakopoulos, Carlos Castillo:
Controversy and Sentiment in Online News.
Mark Scanlon, Huijie Shen:
An Analysis of BitTorrent Cross-Swarm Peer Participation and Geolocational Distribution.
Jason Farina, Mark Scanlon, M. Tahar Kechadi:
BitTorrent Sync: First Impressions and Digital Forensic Implications.
Bertrand Thierry, Xavier Antoine, Chokri Chniti, Hasan Alzubaidi:
$μ$-diff: an open-source Matlab toolbox for computing multiple scattering problems by disks.
Robin Allesiardo, Raphaël Féraud, Djallel Bouneffouf:
A Neural Networks Committee for the Contextual Bandit Problem.
Matthew Farrell, Timothy Goodrich, Nathan Lemons, Felix Reidl, Fernando Sánchez Villaamil, Blair D. Sullivan:
Hyperbolicity, degeneracy, and expansion of random intersection graphs.
Matteo De Felice, Marcello Petitta, Paolo M. Ruti:
Short-Term Predictability of Photovoltaic Production over Italy.
Cagatay Karabat, Mehmet Sabir Kiraz, Hakan Erdogan, Erkay Savas:
THRIVE: Threshold Homomorphic encryption based secure and privacy preserving bIometric VErification system.
Alain Couvreur, Irene Marquez Corbella, Ruud Pellikaan:
Cryptanalysis of public-key cryptosystems that use subcodes of algebraic geometry codes.
Ngoc Khuyen Le, Philippe Martins, Laurent Decreusefond, Anaïs Vergne:
Construction of the generalized Cech complex.
D. Batkovich, Yu. Kirienko, M. Kompaniets, S. Novikov:
GraphState - a tool for graph identification and labelling.


Tanmay Agrawal, Ashay Shirwadkar, Pratik Gaikar, Kushagra Verma:
MetaCache: Efficient Metadata Caching in Linux file system.

Tao Han, Nirwan Ansari:
Network Utility Aware Traffic Loading Balancing in Backhaul-constrained Cache-enabled Small Cell Networks with Hybrid Power Supplies.
Beyza Ermis, Ali Taylan Cemgil:
A Bayesian Tensor Factorization Model via Variational Inference for Link Prediction.
N. Denizcan Vanli, Muhammed O. Sayin, Suleyman Serdar Kozat:
Stochastic Subgradient Algorithms for Strongly Convex Optimization over Distributed Networks.
Youssef Hassan, Mohamed A. Aly, Amir F. Atiya:
Arabic Spelling Correction using Supervised Learning.



Giulia Prando, Alessandro Chiuso, Gianluigi Pillonetto:
Bayesian and regularization approaches to multivariable linear system identification: the role of rank penalties.

Swayambhoo Jain, Seung-Jun Kim, Georgios B. Giannakis:
Backhaul-Constrained Multi-Cell Cooperation Leveraging Sparsity and Spectral Clustering.
Onur Ozdemir, Thakshila Wimalajeewa, Berkan Dulek, Pramod K. Varshney, Wei Su:
Hybrid Maximum Likelihood Based Linear Modulation Classification with Multiple Sensors via Generalized EM Algorithm.
Feodor F. Dragan, Ekkehard Köhler, Arne Leitert:
Line-distortion, Bandwidth and Path-length of a graph.
Yinghao Guo, Lingjie Duan, Rui Zhang:
Optimal Pricing and Load Sharing for Energy Saving in Communications Cooperation.

Noga Alon, Nicolò Cesa-Bianchi, Claudio Gentile, Shie Mannor, Yishay Mansour, Ohad Shamir:
Nonstochastic Multi-Armed Bandits with Graph-Structured Feedback.
Junyeong Seo, Youngchul Sung, Gilwon Lee, Donggun Kim:
Pilot Beam Sequence Design for Channel Estimation in Millimeter-Wave MIMO Systems: A POMDP Framework.
Ahmed Douik, Sameh Sorour, Tareq Y. Al-Naffouri, Hong-Chuan Yang, Mohamed-Slim Alouini:
Delay Reduction in Multi-Hop Device-to-Device Communication using Network Coding.

Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
An agent-driven semantical identifier using radial basis neural networks and reinforcement learning.
Mark Scanlon, Jason Farina, Nhien-An Le-Khac, M. Tahar Kechadi:
Leveraging Decentralization to Extend the Digital Evidence Acquisition Window: Case Study on BitTorrent Sync.
Mark Scanlon, M. Tahar Kechadi:
The Case for a Collaborative Universal Peer-to-Peer Botnet Investigation Framework.

David Lillis, Fergus Toolan, Rem W. Collier, John Dunnion:
ProbFuse: A Probabilistic Approach to Data Fusion.
Jingjin Yu, Javed A. Aslam, Sertac Karaman, Daniela Rus:
Optimal Tourist Problem and Anytime Planning of Trip Itineraries.
Prasanna Kumar Muthukumar, Alan W. Black:
A Deep Learning Approach to Data-driven Parameterizations for Statistical Parametric Speech Synthesis.
Andrea Arteaga, Daniel Ruprecht, Rolf Krause:
A stencil-based implementation of Parareal in the C++ domain specific embedded language STELLA.
Huseyin Ozkan, Ozgun S. Pelvan, Suleyman Serdar Kozat:
Data Imputation through the Identification of Local Anomalies.
Udo Schilcher, Stavros Toumpis, Martin Haenggi, Alessandro Crismani, Günther Brandner, Christian Bettstetter:
Interference Functionals in Poisson Networks.
M. Anand Kumar, V. Dhanalakshmi, K. P. Soman, V. Sharmiladevi:
Improving the Performance of English-Tamil Statistical Machine Translation System using Source-Side Pre-Processing.
Vincenzo Zambianchi, Michel Kieffer, Gianni Pasolini, Francesca Bassi, Davide Dardari:
Efficient Distributed Non-Asymptotic Confidence Regions Computation over Wireless Sensor Networks.
Roberto Mínguez:
Robust solutions of uncertain mixed-integer linear programs using structural-reliability and decomposition techniques.
Elmar Peise, Paolo Bientinesi:
Cache-aware Performance Modeling and Prediction for Dense Linear Algebra.
Elmar Peise, Diego Fabregat-Traver, Paolo Bientinesi:
On the Performance Prediction of BLAS-based Tensor Contractions.
Lennart Gerdes, Christoph Hellings, Lorenz Weiland, Wolfgang Utschick:
The Optimal Input Distribution for Partial Decode-and-Forward in the MIMO Relay Channel.
Mattia Carpin, Andrea Zanella, Jawad Rasool, Kashif Mahmood, Ole Grøndalen, Olav N. Østerbø:
Scheduling Policies for the LTE Downlink Channel: A Performance Comparison.
Chao He, Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
Performance Evaluation for MIMO In Vivo WBAN Systems.
Nikolaos Thomos, Eymen Kurdoglu, Pascal Frossard, Mihaela van der Schaar:
Adaptive Prioritized Random Linear Coding and Scheduling for Layered Data Delivery from Multiple Servers.
Tom Kealy, Oliver Johnson, Robert J. Piechocki:
The capacity of non-identical adaptive group testing.



Christian Mayr, Michael Schultz, Marko Noack, Stephan Henker, Johannes Partzsch, René Schüffny:
OTA based 200 GΩ resistance on 700 μm2 in 180 nm CMOS for neuromorphic applications.
Moo K. Chung, Jamie L. Hanson, Jieping Ye, Richard J. Davidson, Seth D. Pollak:
Persistent Homology in Sparse Regression and Its Application to Brain Morphometry.

Pouya Mollaebrahim Ghari, Reza Shahbazian, Seyed Ali Ghorashi:
Localization in Wireless Sensor Networks Using Quadratic Optimization.
Jakob S. Jørgensen, Christian Kruschel, Dirk A. Lorenz:
Testable uniqueness conditions for empirical assessment of undersampling levels in total variation-regularized x-ray CT.
Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau:
Building an Archive with Saada.
Freddie D. Witherden, Brian C. Vermeire, Peter E. Vincent:
Heterogeneous Computing on Mixed Unstructured Grids with PyFR.
Alexander Woodward, Tom Froese, Takashi Ikegami:
Neural coordination can be enhanced by occasional interruption of normal firing patterns: A self-optimizing spiking neural network model.
Michele Starnini, Andrea Baronchelli, Romualdo Pastor-Satorras:
Model reproduces individual, group and collective dynamics of human contact networks.
Li Yao, Sherjil Ozair, Kyunghyun Cho, Yoshua Bengio:
On the Equivalence Between Deep NADE and Generative Stochastic Networks.
Emanuel Kieronski, Antti Kuusisto:
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality.
Fatima Zahra Tazi, Claude Thibeault, Yvon Savaria, Simon Pichette, Yves Audet:
On Delay Faults Affecting I/O Blocks of an SRAM-Based FPGA Due to Ionizing Radiations.
Jian Yang, Liqiu Meng:
Feature Selection in Conditional Random Fields for Map Matching of GPS Trajectories.
Jian Yang, Liqiu Meng:
Feature Engineering for Map Matching of Low-Sampling-Rate GPS Trajectories in Road Network.
Ante Custic, Bettina Klinz, Gerhard J. Woeginger:
Geometric versions of the 3-dimensional assignment problem under general norms.
Vikas Sindhwani, Haim Avron:
High-performance Kernel Machines with Implicit Distributed Optimization and Randomization.
S. Hwang, S. Choi, Deokjae Lee, B. Kahng:
Efficient algorithm to compute mutually connected components in interconnected networks.
Stephen M. Plaza:
Focused Proofreading: Efficiently Extracting Connectomes from Segmented EM Images.
Andrew M. Thompson, Boleslaw K. Szymanski, Chjan C. Lim:
Propensity and Stickiness in the Naming Game - Tipping Fractions of Minorities.


Gareth W. Peters, Ariane Chapelle, Efstathios Panayi:
Opening discussion on banking sector risk exposures and vulnerabilities from virtual currencies: An operational risk perspective.
Chris Garnatz, Xiaoyi Gu, Alison Kingman, James LaManna, Deanna Needell, Shenyinying Tu:
Practical approximate projection schemes in greedy signal space methods.
Xiaojie Chen, Matjaz Perc:
Optimal distribution of incentives for public cooperation in heterogeneous interaction environments.
Shuang Wang, Wei Chen, Zhen-Qiang Yin, Hong-Wei Li, De-Yong He, Yu-Hu Li, Zheng Zhou, Xiao-Tian Song, Fang-Yi Li, Dong Wang, Hua Chen, Yun-Guang Han, Jing-Zheng Huang, Jun-Fu Guo, Peng-Lei Hao, Mo Li, Chun-Mei Zhang, Dong Liu, Wen-Ye Liang, Chun-Hua Miao, Ping Wu, Guang-Can Guo, Zheng-Fu Han:
Field and long-term demonstration of a wide area quantum key distribution network.

Stephen M. Plaza, Toufiq Parag, Gary B. Huang, Donald J. Olbris, Mathew A. Saunders, Patricia K. Rivlin:
Annotating Synapses in Large EM Datasets.
Christian L. Vestergaard, Mathieu Génois, Alain Barrat:
How memory generates heterogeneous dynamics in temporal networks.
Ting Zhao, Stephen M. Plaza:
Automatic Neuron Type Identification by Neurite Localization in the Drosophila Medulla.
Quan Zhou, Wenlin Chen, Shiji Song, Jacob R. Gardner, Kilian Q. Weinberger, Yixin Chen:
A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing.
Farzad Ghafari Jouneghani, Mohamad Babazadeh, Davoud Salami, Hossein Movla:
Quantum Belief Propagation Algorithm versus Suzuki-Trotter approach in the one-dimensional Heisenberg chains.
Pierre Bellec, Yassine Benhajali, Felix Carbonell, Christian Dansereau, Z. Shehzad, Geneviève Albouy, Maxime Pelland, R. Cameron Craddock, Olivier Collignon, Julien Doyon, Emmanuel Stip, Pierre Orban:
Multiscale statistical testing for connectome-wide association studies in fMRI.
Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz:
The universal homogeneous binary tree.
Milad Siami, Nader Motee:
Systemic Measures for Performance and Robustness of Large-Scale Interconnected Dynamical Networks.
Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence:
Variational Inference for Uncertainty on the Inputs of Gaussian Process Models.
Aurelien Decelle, Janina Hüttel, Alaa Saade, Cristopher Moore:
Computational Complexity, Phase Transitions, and Message-Passing for Community Detection.
Daniel J. Katz, Philippe Langevin:
Proof of a Conjectured Three-Valued Family of Weil Sums of Binomials.
(Withdrawn) Sparse Additive Model using Symmetric Nonnegative Definite Smoothers.
Yuichiro Fujiwara:
Ability of stabilizer quantum error correction to protect itself from its own imperfection.
Ian R. Petersen:
A Direct Coupling Coherent Quantum Observer for a Single Qubit Finite Level Quantum System.
Lester W. Mackey, Jordan Bryan:
Weighted Classification Cascades for Optimizing Discovery Significance in the HiggsML Challenge.
Hendra Ishwara Nurdin:
Quantum filtering for multiple input multiple output systems driven by arbitrary zero-mean jointly Gaussian input fields.
Anatoly Manita:
Intrinsic scales for high-dimensional LEVY-driven models with non-Markovian synchronizing updates.
Tiago P. Peixoto:
Model selection and hypothesis testing for large-scale network models with overlapping groups.

Ísak Hilmarsson, Ingibjörg Jónsdóttir, Steinunn Sigurðardóttir, Lína Viðarsdóttir, Henning Úlfarsson:
Wilf-classification of mesh patterns of short length.
Tadilo Endeshaw Bogale, Luc Vandendorpe, Long Bao Le:
Wideband Sensing and Optimization for Cognitive Radio Networks with Noise Variance Uncertainty.
Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal Actuator Placement with Bounds on Control Effort.
Runyao Duan, Andreas J. Winter:
Zero-Error Classical Channel Capacity and Simulation Cost Assisted by Quantum Non-Signalling Correlations.
Stéphane Ballet, Julia Pieltant:
Tower of algebraic function fields with maximal Hasse-Witt invariant and tensor rank of multiplication in any extension of $\mathbb{F}_2$ and $\mathbb{F}_3$.


Alex Bocharov, Martin Roetteler, Krysta Marie Svore:
Efficient synthesis of probabilistic quantum circuits with fallback.




João Pita Costa, Primoz Skraba, Mikael Vejdemo-Johansson:
Aspects of an internal logic for persistence.
Sang-Yun Oh, Onkar Dalal, Kshitij Khare, Bala Rajaratnam:
Optimization Methods for Sparse Pseudo-Likelihood Graphical Model Selection.


Paolo Sgrignoli, Elena Agliari, Raffaella Burioni, Augusto Schianchi:
Instability and network effects in innovative markets.
Kota Matsui, Wataru Kumagai, Takafumi Kanamori:
Parallel Distributed Block Coordinate Descent Methods based on Pairwise Comparison Oracle.
Liang Zhao, Jianhua Xuan, Yue Wang:
A feasible roadmap for developing volumetric probability atlas of localized prostate cancer.
Tomas Ekeberg, Stefan Engblom, Jing Liu:
Machine learning for ultrafast X-ray diffraction patterns on large-scale GPU clusters.
(Withdrawn) Unitary and anti-unitary quantum description of the classical not gate.
Nicolas Broutin, Jean-François Marckert:
A new encoding of coalescent processes. Applications to the additive and multiplicative cases.
Xiao Fu, Wing-Kin Ma, Tsung-Han Chan, José M. Bioucas-Dias:
Self-Dictionary Sparse Regression for Hyperspectral Unmixing: Greedy Pursuit and Pure Pixel Search are Related.
Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi:
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models.
Mario Berta, Matthias Christandl, Dave Touchette:
Smooth Entropy Bounds on One-Shot Quantum State Redistribution.
C. Seshadhri, Andrew M. Smith, Yevgeniy Vorobeychik, Jackson Mayo, Robert C. Armstrong:
Characterizing short-term stability for Boolean networks over any distribution of transfer functions.
Hamza Fawzi, James Saunderson, Pablo A. Parrilo:
Equivariant semidefinite lifts of regular polygons.
Jaehyung Choi, Andrew P. Mullhaupt:
Application of Kähler manifold to signal processing and Bayesian inference.
Giovanni Luca Ciampaglia, Alessandro Flammini, Filippo Menczer:
The production of information in the attention economy.
Dmitri E. Nikonov, Ian A. Young, George Bourianoff:
Convolutional Networks for Image Processing by Coupled Oscillator Arrays.
Andrea Collevecchio, Timothy M. Garoni, Timothy Hyndman, Daniel Tokarev:
The worm algorithm for the Ising model is rapidly mixing.

Mudassir Masood, Laila H. Afify, Tareq Y. Al-Naffouri:
Efficient Coordinated Recovery of Sparse Channels in Massive MIMO.
Vishesh Karwa, Aleksandra B. Slavkovic, Pavel N. Krivitsky:
Differentially Private Exponential Random Graphs.
Tsirizo Rabenoro, Jérôme Lacaille, Marie Cottrell, Fabrice Rossi:
Anomaly Detection Based on Indicators Aggregation.
Juan Bermejo-Vega, Cedric Yen-Yu Lin, Maarten Van den Nest:
The computational power of normalizer circuits over black-box groups.
Kim Batselier, Ngai Wong:
Symmetric Tensor Decomposition by an Iterative Eigendecomposition Algorithm.
Hsien-Kuei Hwang, Alois Panholzer, Nicolas Rolin, Tsung-Hsi Tsai, Wei-Mei Chen:
Probabilistic analysis of the (1+1)-evolutionary algorithm.
Ashraful Kadir, Mattias Sandberg, Anders Szepessy:
An adaptive mass algorithm for Car-Parrinello and Ehrenfest ab initio molecular dynamics.
Assalé Adjé, Pierre-Loïc Garoche:
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.
Maria Chudnovsky, Peter Maceli, Mingxian Zhong:
Three-coloring graphs with no induced seven-vertex path I : the triangle-free case.
Ying Liu, Ming Tang, Tao Zhou, Younghae Do:
Core-like groups resulting in invalidation of k-shell decomposition analysis.
Valerio Gemmetto, Diego Garlaschelli:
Multiplexity versus correlation: the role of local constraints in real multiplexes.


Richard J. Tomsett, Matt Ainsworth, Alexander Thiele, Mehdi Sanayei, Xing Chen, Alwin Gieselmann, Miles A. Whittington, Mark O. Cunningham, Marcus Kaiser:
Virtual Electrode Recording Tool for EXtracellular potentials (VERTEX): Comparing multi-electrode recordings from simulated and biological mammalian cortical tissue.
Simon Portegies Zwart, Jeroen Bédorf:
Computational Gravitational Dynamics with Modern Numerical Accelerators.
Razvan Stefanescu, Adrian Sandu:
Efficient approximation of sparse Jacobians for time-implicit reduced order models.


Matteo Rucco, David M. S. Rodrigues, Emanuela Merelli, Jeffrey H. Johnson, Lorenzo Falsetti, Cinzia Nitti, Aldo Salvi:
Neural Hypernetwork Approach for Pulmonary Embolism diagnosis.
Benjamin Brock, Andrew Belt, Jay Jay Billings, Mike Guidry:
Explicit Integration with GPU Acceleration for Large Kinetic Networks.
Dowman P. Varn, James P. Crutchfield:
Chaotic Crystallography: How the physics of information reveals structural order in materials.
Dan Gusfield:
Gödel for Goldilocks: A Rigorous, Streamlined Proof of Gödel's First Incompleteness Theorem, Requiring Minimal Background.
Ashwin Ganesan:
A direct product decomposition of the automorphism group of Cayley graphs generated by transposition sets.
Alex Ciurana, Vicente Martin, Jesús Martínez-Mateo, Bernhard Schrenk, Momtchil Peev, Andreas Poppe:
Entanglement Distribution in Optical Networks.
Suneeta Ramaswami, Marcelo Siqueira:
A fast algorithm for computing irreducible triangulations of closed surfaces in $E^d$.
Jun Zhao, Osman Yagan, Virgil D. Gligor:
On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs.
Jun Zhao, Osman Yagan, Virgil D. Gligor:
On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs.
Cong Li, Qian Li, Piet Van Mieghem, Harry Eugene Stanley, Huijuan Wang:
Correlation between centrality metrics and their application to the opinion model.



Aivar Sootla, Diego A. Oyarzún, David Angeli, Guy-Bart Stan:
Shaping Pulses to Control Multi-Stable Biological Systems.
Giulio Cimini, Tiziano Squartini, Andrea Gabrielli, Diego Garlaschelli:
Estimating topological properties of weighted networks from limited information.

Zhe He, Yi-Ming Huang, Rui-Jie Xu, Bing-Hong Wang, Zhong-Can Ou-Yang:
Network cluster detecting in associated bi-graph picture.
Aleksandr Tuxanidy, Qiang Wang:
Compositional inverses, complete mappings, orthogonal Latin squares and bent functions.
Faryad Darabi Sahneh, Caterina M. Scoglio, Piet Van Mieghem:
Exact Coupling Threshold for Structural Transition in Interconnected Networks.
Islam Safak Bayram, George Michailidis, Michael Devetsikiotis:
Unsplittable Load Balancing in a Network of Charging Stations Under QoS Guarantees.
Vassilis Kekatos, Gang Wang, Antonio J. Conejo, Georgios B. Giannakis:
Stochastic Reactive Power Management in Microgrids with Renewables.
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka:
Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable.
Marcelo Fiori, Guillermo Sapiro:
On spectral properties for graph matching and graph isomorphism problems.
Jakub Kozik, Dmitry A. Shabanov:
Improved algorithms for colorings of simple hypergraphs and applications.
Yue Chen, Ana Busic, Sean P. Meyn:
Individual risk in mean-field control models for decentralized control, with application to automated demand response.
Faicel Chamroukhi:
Unsupervised learning of regression mixture models with unknown number of components.
Mathieu Génois, Christian L. Vestergaard, Julie Fournet, André Panisson, Isabelle Bonmarin, Alain Barrat:
Data on face-to-face contacts in an office building suggests a low-cost vaccination strategy based on community linkers.

W. A. Yahya, K. J. Oyewumi, K. D. Sen:
Quantum Information Entropies for the ℓ-state Pöschl-Teller-type potential.
Changwang Zhang, Shi Zhou, Ingemar J. Cox, Benjamin M. Chain:
Optimizing Hybrid Spreading in Metapopulations.
Juan Pablo Cárdenas, Iván González, Rosa María Benito, Juan Carlos Losada:
Does network complexity help organize Babel's library?
Jaydeep P. Bardhan, Matthew G. Knepley:
Modeling Charge-Sign Asymmetric Solvation Free Energies With Nonlinear Boundary Conditions.
Jiantao Jiao, Kartik Venkat, Yanjun Han, Tsachy Weissman:
Beyond Maximum Likelihood: from Theory to Practice.
Hendra Ishwara Nurdin, John Edward Gough:
Modular Quantum Memories Using Passive Linear Optics and Coherent Feedback.

Johannes Kulick, Robert Lieck, Marc Toussaint:
Active Learning of Hyperparameters: An Expected Cross Entropy Criterion for Active Model Selection.
Antonio Parravano, José A. Noguera, Jordi Tena, Paula Hermida:
Field evidence of social influence in the expression of political preferences: the case of secessionist flags in Barcelona.
Avhishek Chatterjee, Anand D. Sarwate, Sriram Vishwanath:
Generalized Opinion Dynamics from Local Optimization Rules.
Sébastien Bubeck, Ronen Eldan, Elchanan Mossel, Miklós Z. Rácz:
From trees to seeds: on the inference of the seed from large trees in the uniform attachment model.
F. Molnár Jr., Noemi Derzsy, Boleslaw K. Szymanski, Gyorgy Korniss:
Building Damage-Resilient Dominating Sets in Complex Networks against Random and Targeted Attacks.
Indranil Pan, Saptarshi Das:
When Darwin meets Lorenz: Evolving new chaotic attractors through genetic programming.
Juan Pablo Cárdenas, Gerardo Vidal, Gastón Olivares:
Complexity, Selectivity and Asymmetry in the Conformation of the Power Phenomenon. Analysis of Chilean Society.
Lillian J. Ratliff, Carlos Barreto, Roy Dong, Henrik Ohlsson, Alvaro A. Cárdenas, S. Shankar Sastry:
Effects of Risk on Privacy Contracts for Demand-Side Management.
Evan Kuminski, Joe George, John F. Wallin, Lior Shamir:
Combining human and machine learning for morphological analysis of galaxy images.
Wojciech Chacholski, Martina Scolamiero, Francesco Vaccarino:
Combinatorial presentation of multidimensional persistent homology.
Arnab Chatterjee, Asim Ghosh, Bikas K. Chakrabarti:
Universality of citation distributions for academic institutions and journals.
Nicola Mastronardi, Paul Van Dooren:
Revisiting the stability of computing the roots of a quadratic polynomial.
Beyza Ermis, Yusuf Kenan Yilmaz, Ali Taylan Cemgil, Evrim Acar:
Variational Inference For Probabilistic Latent Tensor Factorization with KL Divergence.
Matthias Lorenzen, Frank Allgöwer, Fabrizio Dabbene, Roberto Tempo:
An Improved Constraint-Tightening Approach for Stochastic MPC.
Theodoros Tsiligkaridis, Keith W. Forsythe:
Adaptive Low-Complexity Sequential Inference for Dirichlet Process Mixture Models.
Soumya Jyoti Banerjee, Saptarshi Sinha, Soumen Roy:
Slow poisoning and destruction of networks: edge proximity and its implications for biological and infrastructure networks.

Antoine Deleforge, Florence Forbes, Sileye O. Ba, Radu Horaud:
Hyper-Spectral Image Analysis with Partially-Latent Regression and Spatial Markov Dependencies.
Guy Kelman, David S. Brée, Eran Manes, Marco Lamieri, Natasa Golo, Sorin Solomon:
Dissortative From the Outside, Assortative From the Inside: Social Structure and Behavior in the Industrial Trade Network.
Shahin Shahrampour, Alexander Rakhlin, Ali Jadbabaie:
Distributed Detection : Finite-time Analysis and Impact of Network Topology.
João Pita Costa, Mikael Vejdemo-Johansson, Primoz Skraba:
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology.
Iordanis Kerenidis, Mathieu Laurière, François Le Gall, Mathys Rennela:
Privacy in Quantum Communication Complexity.
Tali Kaufman, David Kazhdan, Alexander Lubotzky:
Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders.
Amir Hajian, Marcelo Alvarez, J. Richard Bond:
Machine Learning Etudes in Astrophysics: Selection Functions for Mock Cluster Catalogs.
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani:
Impossibility of Classically Simulating One-Clean-Qubit Computation.
Juan Bermejo-Vega, Cedric Yen-Yu Lin, Maarten Van den Nest:
Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems.
Luis F. M. Borelli, Leandro da S. Aguiar, José Antônio Roversi, Antonio Vidiella-Barranco:
Quantum Key Distribution using Continuous-variable non-Gaussian States.
Lisa Bromberg, Vladimir Shpilrain, Alina Vdovina:
Navigating in the Cayley graph of SL2(Fp) and applications to hashing.
Amit Diwadkar, Umesh Vaidya:
Limitations and tradeoffs in synchronization of large-scale networks with uncertain links.
Sebastien Roch, Mike Steel:
Likelihood-based tree reconstruction on a concatenation of alignments can be positively misleading.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
